module type T = sig .. end
sig
end
A globular set.
type t
A cell.
val to_string : t -> string
t -> string
val dim : t -> int
t -> int
Dimension.
val src : t -> t
t -> t
Source.
val tgt : t -> t
Target.