API
Library core_extended.appendable_list
Appendable_list A polymorphic data structure parametrized by 'a to represent lists of elements of 'a while supporting constant time append operations.
Library core_extended.delimited_kernel
Delimited_kernel Read CSVs & CSV-like delimited formats (following the CSV quoting behaviour).
Library core_extended.find_files
Find_files Unix like find. * * Note: Unlike Unix find, the functions in this module do not produce paths in * depth-first order.
Library core_extended.selection