byte-size 0.2.7

An effective short string shrinker with total disregard for speed, memory usage and executable size
Documentation 
1
2
3
4


//Contains the lemma -> index maps generated by phs in the build script

include!(concat!(env!("OUT_DIR"), "/maps.rs"));