Module Micromega_plugin.Mfourier

module IMap : CSig.MapS with type key = int
type proof
module Fourier : sig ... end
val pp_proof : Stdlib.out_channel -> proof -> unit
module Proof : sig ... end
exception TimeOut