sig
  val mem :
    'a Precategory.Make.Presentation.E.t -> Precategory.Make.cell -> bool
  val dim : 'a -> Precategory.Make.cell -> int
end