module Precategory: sig .. end
sig
end
Higher-dimensional precategories.
module Make: functor (X : Alphabet.T) -> sig .. end
functor (
X
:
Alphabet.T
) ->
Free precategories.