law Bq.stat_expect
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
986law Bq.stat_expect:
987 (@+op_0: Bq.HOp -> (@+h_1: Bq.Hero -> Nat))
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
986law Bq.stat_expect:
987 (@+op_0: Bq.HOp -> (@+h_1: Bq.Hero -> Nat))