Module Reasoning_proxy.Simplify

val top : scope:scope option -> P.Simplify.Query.t -> Imandra_surface.Term.t Imandra_thread_util.Fut.t
val clause : scope:scope option -> P.Simplify.Query.t -> Imandra_surface.Term.t list Imandra_thread_util.Fut.t