law Bq.hero_step_go
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
324law Bq.hero_step_go:
325 (@+v_0: Bool -> (@+op_1: Bq.HOp -> (@+h_2: Bq.Hero -> Bq.Hero)))
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
324law Bq.hero_step_go:
325 (@+v_0: Bool -> (@+op_1: Bq.HOp -> (@+h_2: Bq.Hero -> Bq.Hero)))