~/jendhub

law Bq.wear_ok_mono_vit

gralha-bendquest@0.1.0.0 · game.bend:1088

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

1088law Bq.wear_ok_mono_vit:
1089  (@+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, agi_3, Succ{vit_4})))))))

Uses (6)

Used by (1)