sig
  val longident : Longident.t Format_doc.printer
  val constr : Longident.t Format_doc.printer
  val tyvar : string Format_doc.printer
  val nominal_exp : Parsetree.expression -> Format_doc.t option
end