Module Ast.Global_ident

module T : sig ... end
module M : sig ... end
include module type of struct include M end
include sig ... end
type comparator_witness = Base__Comparator.Make(T).comparator_witness
val comparator : (T.t, comparator_witness) Base__Comparator.comparator
include module type of struct include T end
type t = [
  1. | `Concrete of concrete_ident
  2. | `Primitive of primitive_ident
  3. | `TupleType of Prelude.int
  4. | `TupleCons of Prelude.int
  5. | `TupleField of Prelude.int * Prelude.int
  6. | `Projector of [ `Concrete of concrete_ident | `TupleField of Prelude.int * Prelude.int ]
]
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val equal : t -> t -> Ppx_deriving_runtime.bool
val __t_of_yojson__ : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
val compare : t -> t -> Prelude.int
val __t_of_sexp__ : Sexplib0.Sexp.t -> t
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
module Map : sig ... end
val of_name : Concrete_ident.Kind.t -> Concrete_ident.name -> [> `Concrete of Concrete_ident.t ]
val eq_name : Concrete_ident.name -> t -> Prelude.bool
val to_string : t -> Prelude.string