Module Gospel.UtilsSource

Sourceval split_at_f : ('a -> bool) -> 'a list -> 'a list * 'a list

split_at_f f l is the partition (l1, l2) such that l1 is the longest prefix where the predicate f holds. The order of the elements is not changed.

Sourceval split_at_i : int -> 'a list -> 'a list * 'a list

split_at_i i l is the partition (l1, l2) such that l1 contains the first i elements. The order of the elements is not changed.

Sourcemodule Fmt : sig ... end
Sourcemodule Sstr : Set.S with type elt = string

String sets.