Module Mutils.HashSource

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