Imandra_interactive.Reasoning_state_ref
Reference to a remote reasoning state
module P = Imandra_protocol
type t = [ `State ] Imandra_util.Remote_ref.t
val to_protocol : t -> P.Reasoning_state_ref.t