container.ml

module rec Element' : sig
  module T : sig
    type t = {
      level : Container'.t;
    }
  end
  type t = T.t
  val remove_from_container : t -> unit
end = struct
  module T = Element'.T
  include T

  let remove_from_container t =
    Container'.remove_element t.level t
end
and Container' : sig
  type t = { mutable elements : Element'.t list }
  val remove_element : t -> Element'.t -> unit
end = struct
  type t = {
    mutable elements : Element'.t list;
  }

  let remove_element t element =
    t.elements <-
      List.filter (fun element' -> not (element == element')) t.elements
end


module rec Element : sig
  type t
  val remove_from_container : t -> unit
end = Element'
and Container : sig
  type t
  val remove_element : t -> Element.t -> unit
end = Container'