Module type `Eprover_interface.S`

module Env : Env.S

Registration

val set_e_bin : string -> unit
val try_e : Env.C.t Iter.t -> Env.C.t Iter.t -> Env.C.t option
val setup : unit -> unit: Register rules in the environment