~/jendhub

law Numeric.true_ne_false

gralha-bendquest@0.1.0.0 · numeric.bend:96

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

96law Numeric.true_ne_false:
97  for +e: {True{} == False{} : Bool}
98  Empty

Uses (4)

Used by (1)