package file_path
A library for typed manipulation of UNIX-style file paths
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=c9551e5a328fd2ed8b8716ad10d6718fd3a4e6c23b1d0faa8215cb8db2c68792
CHANGES.md.html
Release v0.17.0
Add prefix operators for common operations:
to_string
conversions, mirroring the existingof_string
conversionsUp-conversions, such as
File_path.of_relative
Release v0.16.0
Added deriving
stable_witness
to stable versions.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>