sig type 'a t type 'a with_init_args = int -> 'a val cps_create : f:('a t -> 'b) -> 'b with_init_args val touch : 'a t -> 'a -> 'a list val remove : 'a t -> 'a -> unit val clear : 'a t -> unit end