~/jendhub

law Bq.ops_respect_requirements

gralha-bendquest@0.1.0.0 · game.bend:1114

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

1114law Bq.ops_respect_requirements:
1115  (@+op_0: Bq.HOp -> (@+h_1: Bq.Hero -> (@+__2: Bq.WellEquipped(h_1) -> Bq.WellEquipped(Bq.hero_step(op_0, h_1)))))

Uses (37)

Used by (1)