law Bq.WearOK
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
1018law Bq.WearOK:
1019 (@+m_0: Bq.Maybe(Nat) -> (@+lv_1: Nat -> (@+str_2: Nat -> (@+agi_3: Nat -> (@+vit_4: Nat -> Data)))))
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
1018law Bq.WearOK:
1019 (@+m_0: Bq.Maybe(Nat) -> (@+lv_1: Nat -> (@+str_2: Nat -> (@+agi_3: Nat -> (@+vit_4: Nat -> Data)))))