Imandra_protocol.Reasoning_state_ref
Handle on a reasoning state
type t = Imandra_util.Remote_id.t
val pp : Ppx_deriving_runtime.Format.formatter -> Imandra_util.Remote_id.t -> Ppx_deriving_runtime.unit