Base · base.bend:145
import Base
145def Exists(-A: Type, -B: @-x: A -> Type) -> Type: 146 Sigma<&1, &1, A, B>