We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the hierarchy-builder FAQ
I'm getting "Error: unable to graft this clause: no clause named compress:begin"
You need to require HB before other files using it. From HB Require Import structures. should be the first line of every file.
From HB Require Import structures.