| Value | Description |
|---|
val ( */ ) : num -> num -> num | |
val ( +/ ) : num -> num -> num | |
val ( -/ ) : num -> num -> num | |
val ( : num -> num -> bool | |
val ( <=/ ) : num -> num -> bool | |
val ( <>/ ) : num -> num -> bool | |
val ( =/ ) : num -> num -> bool | |
val ( >/ ) : num -> num -> bool | |
val ( >=/ ) : num -> num -> bool | |
val abs_num : num -> num | |
val add_num : num -> num -> num | |
val Big_int : big_int -> num | |
val big_int_of_num : num -> big_int | |
val compare_num : num -> num -> int | |
val decr_num : num ref -> unit | |
val div_num : num -> num -> num | |
val float_of_num : num -> float | |
val incr_num : num ref -> unit | |
val Int : int -> num | |
val int_of_num : num -> int | |
val max_num : num -> num -> num | |
val min_num : num -> num -> num | |
val minus_num : num -> num | |
val mult_num : num -> num -> num | |
val num_of_big_int : big_int -> num | |
val num_of_string : string -> num | |
val pow_num : num -> int -> num | |
val pred_num : num -> num | |
val Ratio : BigRational -> num | |
val sign_num : num -> int | |
val string_of_num : num -> string | |
val sub_num : num -> num -> num | |
val succ_num : num -> num | |