witnesses.bend checks
raw source on the hub · import 0xd684886d10b431b9dce6c3b2d1ef1980/witnesses.bend as Witnesses
3 imports
import Base import ./PROOF.bend as P import ./LAWS.bend as L
Definitions
def inhabited source · line 6 · raw
Unit
Constructive instantiations: U32 with distinct nonempty element witnesses.