Reasoning_proxy.Cache
val on : scope:scope option -> ?save_as:string -> unit -> unit
val off : scope:scope option -> unit -> unit
val clear : scope:scope option -> unit -> unit
val sync : scope:scope option -> unit -> unit