module LogicCompiler:sig
..end
It is here because currently the application of a function
of arity 0 are represented in the AST as a variable not
as an application of the function with no arguments
typepolarity =
[ `Negative | `NoPolarity | `Positive ]
module Make: