def AP.bv

bend-osdev-array@0.1.0.1 · PROOF.bend:116

import bend-osdev-array@0.1.0.1/PROOF.bend as PROOF

import Base

116def AP.bv(b: Bool, x: Nat) -> Nat:
117  match b:
118    case False{}:
119      Nat.double(x)
120    case True{}:
121      1n+Nat.double(x)

Uses (3)

Used by (12)