law Bq.and_intro

gralha-bendquest@0.1.0.0 · game.bend:958

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

import Base

958law Bq.and_intro:
959  (@+x_0: Bool -> (@+y_1: Bool -> (@+ex_2: {x_0 == True{} : Bool} -> (@+ey_3: {y_1 == True{} : Bool} -> {Bq.Bool.and(x_0, y_1) == True{} : Bool}))))

Uses (3)

Used by (7)