FAQ

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.

• "Error: elpi: split-at run out of list items"

  Precise the types of the parameters and possibly add #[key(T)] attribute.