Module Modular_decomp.Response

type t =
| R_decomp of {
d_ref : decomp_ref;
}
| R_region_check of {
status : Imandra_surface.Modular_region.status;
}
| R_region of {
r_ref : region_ref;
}
| R_regions of {
r_refs : region_ref list;
}
| R_decomp_full of {
d : Imandra_surface.Modular_decomposition.concrete;
}
| R_model of {
model : Imandra_surface.Term.Model.t;
}
| R_state of {
r_st : Reasoning_state_ref.t;
}
| R_md_state of {
r_md_st : Modular_decomp_state_ref.t;
}
| R_refined of {
refined_reg : region_ref option;
}
val pp : Fmt.t -> t -> Ppx_deriving_runtime.unit
val show : t -> string