package archetype

  1. Overview
  2. Docs

grammar : http://why3.lri.fr/doc-1.2.0/syntaxref.html#sec85

val pp_str : Format.formatter -> string -> unit
val pp_ident : Format.formatter -> Why3.Ptree.ident -> unit
val pp_qualid : Format.formatter -> Why3.Ptree.qualid -> unit
val pp_decl : Format.formatter -> Why3.Ptree.decl -> unit
val pp_mlw : Format.formatter -> Why3.Ptree.decl list -> unit
val string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'b -> string
val show_mlw : Why3.Ptree.decl list -> string