val compare_int : int -> int -> intval compare_list : ('a -> 'a -> int) -> 'a list -> 'a list -> intval compare_bool : bool -> bool -> intval compare_unit : unit -> unit -> intval compare_option : ('a -> 'a -> int) -> 'a option -> 'a option -> intval equal_int : int -> int -> boolval equal_list : ('a -> 'a -> bool) -> 'a list -> 'a list -> boolval equal_bool : bool -> bool -> boolval equal_unit : unit -> unit -> boolval equal_option : ('a -> 'a -> bool) -> 'a option -> 'a option -> bool