A function source is its call, sales::ordersAbove(100.0) (PLAN ยง6.5): each parameter's value as a literal, an empty [0..1] one as []. Only a valid source is emitted, so every value is a literal of its type.
sales::ordersAbove(100.0)
[0..1]
[]
A function source is its call,
sales::ordersAbove(100.0)(PLAN ยง6.5): each parameter's value as a literal, an empty[0..1]one as[]. Only a valid source is emitted, so every value is a literal of its type.