Module `Micromega_plugin__Mutils.Hash`

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