~/jendhub

law Bq.rejected_op_is_noop

gralha-bendquest@0.1.0.0 · game.bend:646

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

646law Bq.rejected_op_is_noop:
647  (@+op_0: Bq.HOp -> (@+h_1: Bq.Hero -> (@+__2: {Bq.hop_ok(op_0, h_1) == False{} : Bool} -> {Bq.hero_step(op_0, h_1) == h_1 : Bq.Hero})))

Uses (7)

Used by (0)

No other definition uses this definition.