Numeric.Numeric.true_ne_false: law of gralha-bendquest@0.1.0.0
Import: import gralha-bendquest@0.1.0.0/numeric.bend as Numeric
Lines 96-98 of gralha-bendquest@0.1.0.0/numeric.bend: https://jend.leeeet.dev/read.txt?path=gralha-bendquest@0.1.0.0/numeric.bend&start_line=96&end_line=98

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Equal.sym
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/game.bend&name=Bq.Bool.false_ne_true