def Numeric.full

gralha-bendquest@0.1.0.0 · numeric.bend:21

import gralha-bendquest@0.1.0.0/numeric.bend as Numeric

import Base

21def Numeric.full(n: Nat, w: Word(n)) -> Bool:
22  match n:
23    case Zero{}:
24      True{}
25    case Succ{p}:
26      match w:
27        case WCon{False{}, tail}:
28          False{}
29        case WCon{True{}, tail}:
30          Numeric.full(p, tail)

Uses (4)

Used by (4)