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