DavePearce
commented
2 years ago Minimal example:
import std::array
import uint from std::integer
method f(int[] xs) -> (uint|null y):
return array::first_index_of(xs,0)Closed DavePearce closed 2 years ago
DavePearce
commented
2 years ago Minimal example:
import std::array
import uint from std::integer
method f(int[] xs) -> (uint|null y):
return array::first_index_of(xs,0)
Currently QuickCheck doesn't properly support dependencies (e.g. standard library)