module Terminal: sig .. end
sig
end
The terminal globular set.
type t = int
int
val to_string : int -> string
int -> string
val dim : 'a -> 'a
'a -> 'a
val src : int -> int
int -> int
val tgt : int -> int