hermit-0.3.0.0: examples/concatVanishes/Rev.hss
define-script "do-the-ww-split" "binding-of 'rev ; ww-result-split-static-arg 1 [0] [| absH |] [| repH |] WWC" load-and-run "ConcatVanishes.hss"
define-script "do-the-ww-split" "binding-of 'rev ; ww-result-split-static-arg 1 [0] [| absH |] [| repH |] WWC" load-and-run "ConcatVanishes.hss"