law Bq.Bool.false_ne_true

import gralha-bendquest@0.1.0.0/game.bend as Game

import Base

764law Bq.Bool.false_ne_true:
765  (@+e_0: {False{} == True{} : Bool} -> Empty)

Uses (5)