sig
  val eq2str : ?max:int -> Syntax.equation -> string
  val import2str : ?max:int -> Syntax.import -> string
  val extend2str : ?max:int -> Syntax.extend -> string
  val td2str : ?max:int -> Syntax.typedef -> string
  val defs2str : ?max:int -> Syntax.definition list -> string
  val stmt2str : ?max:int -> Syntax.statement -> string
  val texpr2str : ?max:int -> Syntax.texp -> string
  val unit2str : ?max:int -> Syntax.unit_ -> string
  val expr2str : ?max:int -> Syntax.exp -> string
end