True
is a bad argument10
is a good argument0
fib
is an uninterpreted function0
average
take
fib
fib
is an uninterpreted function
Question: Is psum
equivalent to sum
?
Built-in Lists are not supported for now.
(So does imports...)
Next: Information Flow: Refinement Types for Security Policies