Global (infer.Llair.Global)

Exp.Global is re-exported as Global

type exp

type t = private exp

include Ppx_compare_lib.Comparable.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

include Ppx_compare_lib.Equal.S with type t := t

val equal : t Base__Ppx_compare_lib.equal

include Sexplib0.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

module Set : sig ... end

val pp : t NS.pp

include NS.Invariant.S with type t := t

val invariant : t -> unit

val of_exp : exp -> t option

val mk : Llair__.LlairTyp.t -> string -> t

val name : t -> string

val typ : t -> Llair__.LlairTyp.t