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