functor
(
P
:
sig
val
presentation :
Globular
.
Presentation
.t
end
)
->
T