package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Declaration : sig ... end

type (!'constr, !'types) pt = ('constr, 'types) Declaration.pt list

type t = Declaration.t list

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