law Bq.Bool.and_r

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

import Base

798law Bq.Bool.and_r:
799  (@+x_0: Bool -> (@+y_1: Bool -> (@+e_2: {Bq.Bool.and(x_0, y_1) == True{} : Bool} -> {y_1 == True{} : Bool})))

Uses (2)