package devkit
Source file factor.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24(** *) module Int = struct type t = int let compare (x:int) y = compare x y let equal (x:int) y = x = y external to_int : t -> int = "%identity" external of_int : int -> t = "%identity" let of_string = int_of_string let to_string = string_of_int let add = (+) let zero = 0 let mul = ( * ) let neg = (~-) let min (x : int) y = if x < y then x else y let max (x : int) y = if x > y then x else y end module Float = struct type t = float let compare (x:float) y = compare x y let equal (x:float) y = x = y end