package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
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