Basis (imandra-base.Imandra_interactive.Reasoning

val enable : scope:scope option -> Imandra_surface.Uid.t -> unit

val disable : scope:scope option -> Imandra_surface.Uid.t -> unit

val enable_trace : scope:scope option -> Imandra_surface.Uid.t -> unit

val disable_trace : scope:scope option -> Imandra_surface.Uid.t -> unit

val disable_trace_all : scope:scope option -> unit -> unit