Welcome!
The documentation for herdtools7 is at https://diy.inria.fr/.
The sources of herdtools7 are at https://github.com/herd/herdtools7.
herdtools7.asllib