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