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