FuncName (infer.Llair.FuncName)

Exp.FuncName is re-exported as FuncName

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 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 mk : Llair__.LlairTyp.t -> string -> t

val counterfeit : string -> t

compare ignores FuncName.typ, so it is possible to construct FuncNames using a dummy type that compare equal to their genuine counterparts.

val name : t -> string

val typ : t -> Llair__.LlairTyp.t