Module AltErgoLib.Id

type t = Hstring.t
val compare : t -> t -> Ppx_deriving_runtime.int
type typed = t * Ty.t list * Ty.t

Typed identifier of function. In order:

  • The identifier.
  • Types of its arguments.
  • The returned type.
val compare_typed : typed -> typed -> int
val equal : t -> t -> bool
val show : t -> string
val pp : t Fmt.t
module Namespace : sig ... end