(* main.sig *)

signature MAIN =
sig

val doit : unit -> unit

end;