Module NodeId

type node_type =
  1. | Component
  2. | Contract
  3. | Environment
  4. | Type
  5. | Any
  6. | Choose
  7. | TypeAscription
  8. | ClockedExpr
  9. | DefinedConstant
  10. | FreeConstant
type t
val mk_node_id : ?node_type:node_type -> ?monomorphization:int list -> ?user_name:HString.t -> HString.t -> t
val pp_print_node_id_input_name : Stdlib.Format.formatter -> t -> unit
val pp_print_node_id_user_name : Stdlib.Format.formatter -> t -> unit
val pp_print_node_id_internal_name : Stdlib.Format.formatter -> t -> unit
val hash : t -> int
val equal : t -> t -> bool
val compare : t -> t -> int
val get_name : t -> HString.t
val get_user_name : t -> HString.t
val get_internal_name : t -> HString.t
val get_node_type : t -> node_type
val get_monomorphization : t -> int list
module Map : Stdlib.Map.S with type key = t
module Set : sig ... end
module Hashtbl : Stdlib.Hashtbl.S with type key = t