instance QuasiBorelSpace.Empty.instEmpty : QuasiBorelSpace Empty

Equations

• QuasiBorelSpace.Empty.instEmpty = default

instance QuasiBorelSpace.PEmpty.instPEmpty : QuasiBorelSpace PEmpty.{u_2 + 1}

Equations

• QuasiBorelSpace.PEmpty.instPEmpty = default