Context.Compacted
module Declaration : sig ... end
type ('constr, 'types) pt = ( 'constr, 'types ) Declaration.pt list
val fold : ( ( 'c, 't ) Declaration.pt -> 'a -> 'a ) -> ( 'c, 't ) pt -> init:'a -> 'a