sig
  val 'new_acell : int -> seq -> seq -> acell
  val 'new_vertex : unit -> acell
  val 'new_edge : acell -> acell -> acell
  val 'new_face : acell -> acell -> acell -> acell
  val 'dimension : achain -> int
  val 'faces : acell -> seq
  val 'cofaces : acell -> seq
  val 'icells : achain -> acell -> int -> seq
  val 'ccells : achain -> acell -> int -> seq
  val 'transitive_faces : achain -> acell -> seq
  val 'transitive_cofaces : achain -> acell -> seq
  val 'common_faces : achain -> acell -> acell -> seq
  val 'common_cofaces :
    achain -> acell -> acell -> seq
  val 'common_transitive_faces :
    achain -> acell -> acell -> seq
  val 'common_transitive_cofaces :
    achain -> acell -> acell -> seq
  val 'facespos : achain -> acell -> seq
  val 'cofacespos : achain -> acell -> seq
  val 'icellspos : achain -> acell -> int -> seq
  val 'ccellspos : achain -> acell -> int -> seq
  val 'transitive_facespos : achain -> acell -> seq
  val 'transitive_cofacespos : achain -> acell -> seq
  val 'common_facespos :
    achain -> acell -> acell -> seq
  val 'common_cofacespos :
    achain -> acell -> acell -> seq
  val 'common_transitive_facespos :
    achain -> acell -> acell -> seq
  val 'common_transitive_cofacespos :
    achain -> acell -> acell -> seq
  val 'foldD : funct -> any -> achain -> int
  val 'iterD : funct -> achain -> int -> undef
  val 'iterD_indexed :
    funct -> achain -> int -> undef
  val 'foldD_indexed :
    funct -> any -> achain -> int -> any
  val 'forallD : funct -> achain -> int -> bool
  val 'existsD : funct -> achain -> int -> bool
  val 'filtration : funct -> achain -> seq
  val 'boundary : acell -> achain
  val 'coboundary : acell -> achain
  val 'normalise : funct -> achain
  val 'cartesian_prod :
    funct -> achain -> achain -> achain
  val 'quotient : funct -> seq -> achain
  val 'cofaces_in_achain : achain -> acell -> seq
  val 'transitive_cofaces_in_achain :
    achain -> acell -> seq
  val 'common_cofaces_in_achain :
    achain -> acell -> acell -> seq
  val 'common_transitive_cofaces_in_achain :
    achain -> acell -> acell -> seq
end