lem

Lem is a tool for lightweight executable mathematics
val ensure : bool -> string -> unit