law pl_lt0

lawful-bytes@0.1.1.0 · proof_list.bend:34

import Base

34# k < 0 is impossible.
35law pl_lt0:
36  for +k: Nat
37  for +e: {Nat.is_lt(k, 0n) == True{} : Bool}
38  Empty