Modular_decomp (imandra-base.Imandra_protocol.Modular

type region_id = Imandra_surface.Modular_region.id

val pp_region_id : 
  Ppx_deriving_runtime.Format.formatter ->
  region_id ->
  Ppx_deriving_runtime.unit

val show_region_id : region_id -> Ppx_deriving_runtime.string

type region = Imandra_surface.Modular_region.t

type decomp =
  Imandra_surface.Modular_decomposition.region_rref
    Imandra_surface.Modular_decomposition.t

type region_ref = Imandra_util.Remote_id.t

type decomp_ref = Imandra_util.Remote_id.t

module Id_map = Imandra_surface.Modular_region.Id_map

module Query : sig ... end

module Response : sig ... end