The type AbstractSimplicialComplex is a data type for working with abstract simplicial complexes with vertices supported on $[n] = \{1,\dots,n\}$.
The object AbstractSimplicialComplex is a type, with ancestor classes HashTable < Thing.
The source of this document is in AbstractSimplicialComplexes.m2:606:0.