package coq
type (!'constr, !'types) pt = | LocalAssum of Names.Id.t list * 'types| LocalDef of Names.Id.t list * 'constr * 'types
type t = (Constr.constr, Constr.types) ptval of_named_decl : ('c, 't) Named.Declaration.pt -> ('c, 't) pttype (!'constr, !'types) pt = | LocalAssum of Names.Id.t list * 'types| LocalDef of Names.Id.t list * 'constr * 'typestype t = (Constr.constr, Constr.types) ptval of_named_decl : ('c, 't) Named.Declaration.pt -> ('c, 't) pt