Project features.
An atomic feature.
Create a single feature.
The atomic feature name.
The atomic feature default value.
doc_of f is the feature documentation.
doc_of f
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.
create_atom
The formula which is always true.
true
The formula which is always false.
false
atom t is the formula containing the singleton feature t.
atom t
t
neg f negates the formula f. If on is specified, negates if on is true and true_ is returned if on is false.
neg f
f
on
true_
f1 && f2 is the conjonction of f1 and f2.
f1 && 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.
atoms 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
tbl
Conjonctive Normal Form.
Concatenation of CNF formulaes.
normalize f transform f in a conjonctive-normal form.
normalize f
Is native-code enabled ?
Is dynlink for native code enabled ?
The native compiled OCaml toolchain is available (.opt tools).
.opt
Build the javascript objects.
Generate annot files ?
Generate debug symbols ?
Consider warning as error.
Compile and run tests.
Build the documentation.
The set of built-in atomic features.