Compacted (u.4b72d9d53197f808b005effa2cda4f29.coq-core.8.20.1.doc.coq-core.kernel.Context.Compacted)

Sourcemodule Declaration : sig ... end

Sourcetype ('constr, 'types, 'r) pt = ('constr, 'types, 'r) Declaration.pt list

val fold : 
  (('c, 't, 'r) Declaration.pt -> 'a -> 'a) ->
  ('c, 't, 'r) pt ->
  init:'a ->
  'a