Module Globular

module Globular: sig .. end

Globular sets.

module type T = sig .. end

A globular set.

module Terminal: sig .. end

The terminal globular set.

module Presentation: functor (X : Alphabet.T) -> sig .. end

Presented globular set.

module Theory: sig .. end

A globular theory, the typical example being weak omega-categories.