module LogicCompiler: sig .. end
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
module Make: functor (M : Memory.Model) -> sig .. end
functor (
M
:
Memory.Model
) ->