{
  "name": "hierarchy-builder",
  "deps": [],
  "modules": {
    "HB.structures": { "deps": [ "Coq.Strings.String", "Coq.ssr.ssreflect", "Coq.ssr.ssrfun" ] }
  }
}