module Presentation:
Presented globular set.
| Parameters: |
|
module E:Stdlib.Map.Make(X)
typet =(int * X.t * X.t) E.t
A globular set.
val empty : tThe empty globular set.
val mem : t -> X.t -> bool
val dim : t -> X.t -> intDimension of a generator.
val src : t -> X.t -> X.tSource of a cell.
val tgt : t -> X.t -> X.tTarget of a cell.
val add0 : t -> X.t -> tAdd a 0-cell.
val add : t -> X.t -> X.t -> X.t -> tAdd an n-cell.
module Make: