sig
  val index_of : 'a RefList.t -> 'a -> int
  val index : ('a -> bool) -> 'a RefList.t -> int
  val at_index : 'a RefList.t -> int -> 'a
  val set : 'a RefList.t -> int -> 'a -> unit
  val remove_at : 'a RefList.t -> int -> unit
end