(* sig.sml *)
signature Primos =
sig
  type prcontext
  val get_nth : prcontext * int -> int
  val get_context : prcontext
  val print_context : prcontext -> unit
end