package clangml

  1. Overview
  2. Docs
type t = Ast.type_loc
type t__arity = [
  1. | `Zero
]
and t__structure = [
  1. | `Name of [ `Apply of [ `SubGADT of [ `RecGroup of Ast.type_loc__structure * Ast.type_loc__rec_group ] ] * unit * unit * unit * unit * unit ]
]
and t__rec_group = (t__arity * t__structure) Stdcompat.ref
and t__kinds = Ast.type_loc__kinds
and t__gadt = unit
type Refl.refl +=
  1. | Refl_t : t Refl.refl
type Refl.sub_gadt_ext +=
  1. | T__sub_0 : (t__gadt, Ast.type_loc__gadt) Refl.sub_gadt_ext
val t_refl : (t, t__structure, unit, t__rec_group, [> t__kinds ], unit, unit, unit, t__gadt) Refl.desc
val to_qual_type : ?options:Ast.Options.t -> t -> Type.t
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val pp : Stdcompat.Format.formatter -> t -> unit
val show : t -> string
module Set : sig ... end
module Map : sig ... end
module Hashtbl : sig ... end
OCaml

Innovation. Community. Security.