Module `Imandra_surface.Modular_decomposition`

type session_id = Modular_region.session_id
type id = Modular_region.id
type region = Modular_region.t

module Id_map = Modular_region.Id_map

type t = private { md_session : session_id; md_f : Uid.t; md_args : Var.t list; mutable md_regions : region option Id_map.t; }
type serialized = string

val f : t -> Uid.t
val args : t -> Var.t list
val get_region : t -> int -> region option
val keep_only_ids : t -> id list -> unit: Keep only regions whose IDs are in the list

val to_region_list : t -> (id * region option) list
val pp_f_args : t CCFormat.printer
val pp : t CCFormat.printer