Module Mutils.Hash

val eq_op1 : Micromega.op1 -> Micromega.op1 -> bool
val eq_op2 : Micromega.op2 -> Micromega.op2 -> bool
val eq_positive : Micromega.positive -> Micromega.positive -> bool
val eq_z : Micromega.z -> Micromega.z -> bool
val eq_q : Micromega.q -> Micromega.q -> bool
val eq_pol : ( 'a -> 'a -> bool ) -> 'a Micromega.pol -> 'a Micromega.pol -> bool
val eq_pair : ( 'a -> 'a -> bool ) -> ( 'b -> 'b -> bool ) -> ('a * 'b) -> ('a * 'b) -> bool
val hash_op1 : int -> Micromega.op1 -> int
val hash_pol : ( int -> 'a -> int ) -> int -> 'a Micromega.pol -> int
val hash_pair : ( int -> 'a -> int ) -> ( int -> 'b -> int ) -> int -> ('a * 'b) -> int
val hash_z : int -> Micromega.z -> int
val hash_q : int -> Micromega.q -> int
val hash_string : int -> string -> int
val hash_elt : ( 'a -> int ) -> int -> 'a -> int