package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

md5=13d2793fc6413aac5168822313e4864e

sha512=ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42

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

val 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

val 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