~/jendhub

law Bq.wear_ok_mono_agi

gralha-bendquest@0.1.0.0 · game.bend:1072

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

1072law Bq.wear_ok_mono_agi:
1073  (@+m_0: Bq.Maybe(Nat) -> (@+lv_1: Nat -> (@+str_2: Nat -> (@+agi_3: Nat -> (@+vit_4: Nat -> (@+wo_5: Bq.WearOK(m_0, lv_1, str_2, agi_3, vit_4) -> Bq.WearOK(m_0, lv_1, str_2, Succ{agi_3}, vit_4)))))))

Uses (6)

Used by (1)