law Bq.Bool.and_l

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

import Base

788law Bq.Bool.and_l:
789  (@+x_0: Bool -> (@+y_1: Bool -> (@+e_2: {Bq.Bool.and(x_0, y_1) == True{} : Bool} -> {x_0 == True{} : Bool})))

Uses (2)