core_extended

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

Library core_extended.find_files

• Find_files Unix like find.

Library core_extended.selection

• Selector