~/jendhub

law Bq.wear_ok_mono_lv

gralha-bendquest@0.1.0.0 · game.bend:1104

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

1104law Bq.wear_ok_mono_lv:
1105  (@+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, Succ{lv_1}, str_2, agi_3, vit_4)))))))

Uses (6)

Used by (1)