Up – Package index » coq » Library micromega_plugin » Micromega_plugin » Mfourier

Module `Micromega_plugin.Mfourier`Source

Sourcemodule IMap : CSig.MapS with type key = int

Sourcetype proof

Sourcemodule Fourier : sig ... end

Sourceval pp_proof : Stdlib.out_channel -> proof -> unit

Sourcemodule Proof : sig ... end

Sourceexception TimeOut