Module MemTyped.MONOTONIC

module MONOTONIC: sig .. end

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