Module Pretty

module Pretty: sig .. end

Pretty-printing various objects from Why3's core logic


val coercion_attr : Ident.attribute
val why3_keywords : string list
module type Printer = sig .. end
include Pretty.Printer
val create : Ident.ident_printer ->
Ident.ident_printer ->
Ident.ident_printer -> Ident.ident_printer -> bool -> (module Pretty.Printer)