Module Ast_utils.UniqueList

Parameters

module T : sig ... end

Signature

type t
val equal : t -> t -> Ppx_deriving_runtime.bool
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
val t_of_yojson : Yojson.Safe.t -> t
val yojson_of_t : t -> Yojson.Safe.t
val without : T.t -> t -> t
val cons : T.t -> t -> t
val to_list : t -> T.t Prelude.list
val from_set : (T.t, T.comparator_witness) Hax_engine.Prelude.Set.t -> t
val empty : t
val is_empty : t -> Prelude.bool
val singleton : T.t -> t