Module Gist.Name

Name munging.

val unqualified : applied_name -> name

unqualified_name n is the unqualified name of n or "" if n is "". For example "t" in "Buffer.t" or "(string, int) Hashtbl.t".

val module_path : applied_name -> qualified_name

module_path g is the module path of name g or "" if there is no module path. For example "Buffer" in "Buffer.t" or "Hashtbl" in "(string, int) Hashtbl.t".

val type_args : applied_name -> string

type_args are the type arguments of polymorphic type instances. For example "" in Buffer.t and "(string, int)" in "(string, int) Hashtbl.t".

val make_applied : v list -> qualified_name -> applied_name

make_applied type_args qname makes an applied polymorphic name with given type_args arguments and the qualified name qname.

val pp_applied : v list -> Stdlib.Format.formatter -> qualified_name -> unit

pp_applied type_args ppf qname formats an applied polymorphic type with given type_args arguments and the qualified name qname.