An atomic feature.
Create a single feature.
The atomic feature name.
The atomic feature default value.
doc_of f is the feature documentation.
Return the feature with an other default.
A cmdliner term which parses an atomic feature.
Sets of atoms.
The type for sets of atoms.
Union of atom sets.
Formula of features.
Same as create_atom but for single formula.
The formula which is always true.
The formula which is always false.
atom t is the formula containing the singleton feature t.
neg f negates the formula f. If on is specified, negates
if on is true and true_ is returned if on is false.
f1 && f2 is the conjonction of f1 and f2.
f1 && f2
f1 || f2 is the disjonction of f1 and f2.
f1 || f2
atoms f is the set of atoms appearing in the formula f.
eval tbl f evaluates the formula f given the truth table
tbl. If a feature t does not appear in tbl is is
considered as associated to false.
eval tbl f
Conjonctive Normal Form.
Concatenation of CNF formulaes.
normalize f transform f in a conjonctive-normal form.
Is native-code enabled ?
Is dynlink for native code enabled ?
The native compiled OCaml toolchain is available (.opt tools).
Generate annot files ?
Generate debug symbols ?
Consider warning as error.
Compile and run tests.
Build the documentation.
The set of built-in atomic features.