Modular_decomp_intf (imandra-base.Imandra_interactive.Modular_decomp

module MR = Imandra_surface.Modular_region

module MD = Imandra_surface.Modular_decomposition

type region_ref = MR.RRef.t

type decomp_ref = MD.RRef.t

type decomp = MD.concrete

type rstate_ref = Common_.Reasoning_state_ref.t

type mdstate_ref = Common_.Modular_decomp_state_ref.t

type scope = Imandra_interactive.Common_.Otel.Trace.scope

module type S = sig ... end