(* primes.sig *)

(* generation of primes *)

signature PRIMES =
sig

(* if n >= 0, then primes n returns the first n prime numbers, listed
   in ascending order *)

val primes : int -> int list

end;