sig
  val to_ocaml : string -> string
  val ident : string -> string
  val attrib : string -> string
  val polyvar : string -> string
end