Reg (infer.Llair.Reg)

Exp.Reg is re-exported as Reg

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

module Map : sig ... end

module Tbl : 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 to_exp : t -> exp

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

val id : t -> int

val name : t -> string

val typ : t -> Llair__.LlairTyp.t