~/jendhub

law Bq.no_instakill

gralha-bendquest@0.1.0.0 · game.bend:1190

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

1190law Bq.no_instakill:
1191  (@+matk_0: Nat -> (@+df_1: Nat -> (@+lv_2: Nat -> (@+vit_3: Nat -> {Bq.Nat.lt(Bq.mob_damage(matk_0, df_1, Bq.max_hp(lv_2, vit_3)), Bq.max_hp(lv_2, vit_3)) == True{} : Bool}))))

Uses (11)

Used by (0)

No other definition uses this definition.