Lines Matching defs:take
101 fun take' 0 _ = []102 | take' _ LNIL = []103 | take' n (LCONS(e, es)) = e::take' (n - 1) es104 | take' _ (LDELAYED _) = raise Fail "seq.take - shouldn't happen"105 | take' n x = take' n (force x)107 fun take n l =108 if n < 0 then raise Fail "seq.take - negative amount"109 else take' n l