module type NUM = sig .. end
sig
end
type num
val num_of_int : int -> num
int -> num
val mult_num : num -> num -> num
num -> num -> num
val power_num : num -> num -> num
val num_of_string : string -> num
string -> num