sig
  val expr : ?msg:string -> string -> Kat.expr
  val hyps : ?msg:string -> string -> Hypotheses.t
end