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