class Contracts::Builtin::Func

Used to define contracts on functions passed in as arguments. Example: Func[Num => Num] # the function should take a number and return a number