Compacted.Declaration
type ('constr, 'types) pt =
| LocalAssum of Names.Id.t binder_annot list * 'types
| LocalDef of Names.Id.t binder_annot list * 'constr * 'types
val map_constr : ('c -> 'c) -> ('c, 'c) pt -> ('c, 'c) pt
val of_named_decl : ('c, 't) Named.Declaration.pt -> ('c, 't) pt
val to_named_context : ('c, 't) pt -> ('c, 't) Named.pt