Module Reasoning_proxy.Custom

val send : scope:scope option -> plugin:string -> f:string -> string -> string Imandra_thread_util.Fut.t

Get the answer

val notify : scope:scope option -> plugin:string -> f:string -> string -> unit

Expect "ok ()" as an answer