Sourcetype 'a t = {impl : 'a;intf : 'a;
} Sourceval of_func : (ml_kind:t -> 'a) -> 'a t Sourceval iteri : 'a t -> f:(t -> 'a -> unit) -> unit Sourceval make : impl:'a -> intf:'a -> 'a t Sourceval mapi : 'a t -> f:(t -> 'a -> 'b) -> 'b t Sourceval map : 'a t -> f:('a -> 'b) -> 'b t