Module `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