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