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