Module LogicCompiler

module LogicCompiler: sig .. end

Definitions

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


type polarity = [ `Negative | `NoPolarity | `Positive ] 
module Make: 
functor (M : Memory.Model) -> sig .. end