def one8

lawful-words@0.1.0.0 · proof_zb.bend:27

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

import Base

27def one8() -> Word(8n):
28  WCon{True{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WCon{False{}, WNil{}}}}}}}}}

Uses (4)

Used by (9)