Reasoning_proxy.Loading_prelude
val begin_ : scope:scope option -> unit -> unit
val end_ : scope:scope option -> unit -> unit