def lt_zero

bendtorch-core@0.1.0.0 · src/storage/arith.bend:326

import bendtorch-core@0.1.0.0/src/storage/arith.bend as Arith

import Base

326def lt_zero(+x: Nat, h: {Nat.is_lt(x, 0n) == True{} : Bool}) -> Empty:
327  match x:
328    case 0n:
329      clash(h)
330    case 1n+p:
331      clash(h)

Uses (5)

Used by (49)