filter.ml
dataframe
1 2 3 type _ t = | No_filter : int -> [ `unfiltered ] t (* Stores the length *) | Filter : Bool_array.t -> [ `filtered ] t
1 2 3
type _ t = | No_filter : int -> [ `unfiltered ] t (* Stores the length *) | Filter : Bool_array.t -> [ `filtered ] t