Prelude_extracted.Program_prelude_
module Int : sig ... end
module List : sig ... end
module String : sig ... end
val implies : bool -> bool -> bool