Module Identifier

type 'a param_info =
  1. | Indexed of int
  2. | Named of 'a
module Atom : sig ... end
module Chain : sig ... end
type 'a t = string option * 'a Chain.t
type _t = string option * Chain._t
val is_ident : string -> bool
val is_lowercase_ident : string -> bool
val is_capitalized_ident : string -> bool
val parse_ident : (string, unit) MParser.t
val parse_lowercase_ident : (string, unit) MParser.t
val parse_capitalized_ident : (string, unit) MParser.t
val of_string : string -> _t
val _pp : _t Containers.Format.printer
val lib : 'a t -> string option
val chain : 'a t -> 'a Chain.t
val equal : 'a t -> 'a t -> bool