def ones8

lawful-words@0.1.0.0 · proof_zb.bend:33

import lawful-words@0.1.0.0/proof_zb.bend as ProofZb

import Base

33def ones8() -> Word(8n):
34  WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WCon{True{}, WNil{}}}}}}}}}

Uses (4)

Used by (5)