var.mli 654 Bytes
Newer Older
1
module V : sig
2
  include Custom.T
3
4
5
6
7
  val make_id : ?fresh:bool -> string -> t
end

type var = [ `Var of V.t ]

8
include Custom.T with type t = var
9

10
val pp : Format.formatter -> var -> unit
11
12
13
14
15
16
17
18
val mk : ?fresh:bool -> string -> var
val fresh : ?pre:string -> unit -> var
val id : var -> string
val is_fresh : var -> bool

module Set : sig
  include Set.S with type elt = var
  val dump : Format.formatter -> t -> unit
19
  val pp : Format.formatter -> t -> unit
20
21
22
23
24
25
26
  val is_empty : t -> bool
  val from_list : elt list -> t
end

type 'a pairvar = [ `Atm of 'a | var ]
module type MAKE = functor (X : Custom.T) -> Custom.T with type t = X.t pairvar
module Make : MAKE