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