Module Assumptions

val traverse : Names.Label.t -> Constr.constr -> Names.GlobRef.Set_env.t * Names.GlobRef.Set_env.t Names.GlobRef.Map_env.t * (Names.Label.t * Constr.rel_context * Constr.types) list Names.GlobRef.Map_env.t
val assumptions : ?⁠add_opaque:bool -> ?⁠add_transparent:bool -> TransparentState.t -> Names.GlobRef.t -> Constr.constr -> Constr.types Printer.ContextObjectMap.t