~/jendhub

law Bq.damage_capped

gralha-bendquest@0.1.0.0 · game.bend:1136

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

1136law Bq.damage_capped:
1137  (@+watk_0: Nat -> (@+str_1: Nat -> (@+df_2: Nat -> (@+crit_3: Bool -> {Bq.Nat.le(Bq.damage(watk_0, str_1, df_2, crit_3), Bq.DMG_CAP) == True{} : Bool}))))

Uses (11)

Used by (0)

No other definition uses this definition.