sig   type 'a t = 'a list   val compare :     ('-> '-> int) ->     'Misc.Stdlib.List.t -> 'Misc.Stdlib.List.t -> int   val equal :     ('-> '-> bool) ->     'Misc.Stdlib.List.t -> 'Misc.Stdlib.List.t -> bool   val filter_map :     ('-> 'b option) -> 'Misc.Stdlib.List.t -> 'Misc.Stdlib.List.t   val some_if_all_elements_are_some :     'a option Misc.Stdlib.List.t -> 'Misc.Stdlib.List.t option   val map2_prefix :     ('-> '-> 'c) ->     'Misc.Stdlib.List.t ->     'Misc.Stdlib.List.t -> 'Misc.Stdlib.List.t * 'Misc.Stdlib.List.t   val split_at :     int ->     'Misc.Stdlib.List.t -> 'Misc.Stdlib.List.t * 'Misc.Stdlib.List.t end