Parameter `Make_pp.1-A`

module T : Syn_term_intf.S

val var_name : T.var -> string
val id_is_nil : T.id -> bool
val id_is_cons : T.id -> bool
val pp_const : T.const Syn_term_intf.printer
val pp_var : T.var Syn_term_intf.printer
val pp_id : T.id Syn_term_intf.printer
val pp_ty : T.ty Syn_term_intf.printer