1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
|
signature MDL_AST_PRETTY_PRINTER =
sig
structure Ast : MDL_AST
val ident : Ast.ident -> PP.pp
val literal : Ast.literal -> PP.pp
val exp : Ast.exp -> PP.pp
val labexp : Ast.id * Ast.exp -> PP.pp
val sexp : Ast.structexp -> PP.pp
val sigexp : Ast.sigexp -> PP.pp
val pat : Ast.pat -> PP.pp
val labpat : Ast.id * Ast.pat -> PP.pp
val ty : Ast.ty -> PP.pp
val labty : Ast.id * Ast.ty -> PP.pp
val tyvar : Ast.tyvar -> PP.pp
val decl : Ast.decl -> PP.pp
val decls : Ast.decl list -> PP.pp
val valbind : Ast.valbind -> PP.pp
val valbinds: Ast.valbind list -> PP.pp
val funbind : Ast.funbind -> PP.pp
val funbinds: Ast.funbind list -> PP.pp
val clause : Ast.clause -> PP.pp
val clauses : Ast.clause list -> PP.pp
val consbind : Ast.consbind -> PP.pp
val consbinds : Ast.consbind list -> PP.pp
val datatypebind : Ast.datatypebind -> PP.pp
val datatypebinds : Ast.datatypebind list -> PP.pp
val typebind : Ast.typebind -> PP.pp
val typebinds : Ast.typebind list -> PP.pp
val encodeName : Ast.id -> Ast.id
end
|