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