Module Precategory.Make.Presentation.Cell

module Cell: sig .. end

Operations on cells in a presentation.

val mem : 'a Precategory.Make.Presentation.E.t -> Precategory.Make.cell -> bool

Ensure that a cell uses only generators defined in the signature.

val dim : 'a -> Precategory.Make.cell -> int

Dimension of a cell.