Module Main (.ml)

module Main: sig .. end

module K: Ketrew.EDSL
val say : ('a, unit, string, unit) Pervasives.format4 -> 'a
val test_assert : string -> bool -> unit
val test_region : unit -> unit