I have a function with a default parameter `fun le...

# getting-started

[elect]

I have a function with a default parameter fun lessThan(res: Vec2bool = Vec2bool(), a: Vec2, b: Vec2): Vec2bool {..}