Sourceval map_find : f:('a -> 'b option) -> 'a list -> 'b option Sourceval init_and_last : 'a list -> ('a list * 'a) option Sourceval first_match : 'a list -> 'a list -> 'a option Sourceval sub_equal : off:int -> len:int -> string -> string -> bool