var.mli 476 Bytes
Newer Older
1
include Custom.T
2

3 4 5 6
val print : Format.formatter -> t -> unit
val mk : ?internal:bool -> string -> t
val ident : t -> string
val refresh : t -> t
7 8 9


module Set : sig
10 11
  include SortedList.S with type Elem.t = t
  val print : Format.formatter -> t -> unit
12
  val dump : Format.formatter -> t -> unit
13 14
end

15 16
module Map : module type of Set.Map

17 18
val gen : Set.t -> t

19
type 'a var_or_atom = [ `Atm of 'a | `Var of t ]
20

21
module Make (X : Custom.T) : Custom.T with type t = X.t var_or_atom