int
Effects
RandomInt
random_int
fn(min: Int, max: Int) -> Int / { RandomInt }
Functions
compare
fn(a: Int, b: Int) -> Cmp
max
fn(a: Int, b: Int) -> Int
min
fn(a: Int, b: Int) -> Int
to_float
fn(value: Int) -> Float
to_string
fn(value: Int) -> Str
Handlers
js_random_int
∀ 't34 , 't33 . fn ('t34 / 't33) -> 't34 / { 't33, {unknown}, -RandomInt }