type moduleexp =
  1. | Mmod of Malfunction.binding list * Malfunction.t list
val read_expression : Lexing.lexbuf -> Malfunction.t
val parse_expression : Malfunction_sexp.sexp -> Malfunction.t
val read_module : Lexing.lexbuf -> moduleexp