stav 0.2.0

A statically typed, eager and total configuration language
Documentation
1
2
3
4
struct Point { x: Int where 0..=10 = 0 }
struct Root { a: Int = 0 }
fn getx(p: Point) -> Int = p.x
a = getx(Point { x = 50 })