module MONOTONIC: sig .. end
sig
end
val generate : string -> Lang.lfun -> Lang.F.var list -> MemTyped.Sigma.chunk list -> (Lang.F.term list -> Lang.F.term) -> unit
string -> Lang.lfun -> Lang.F.var list -> MemTyped.Sigma.chunk list -> (Lang.F.term list -> Lang.F.term) -> unit