var dir_8ff718c0e05ebec7bd22ed9b2ac38248 = [ [ "dimensions.hpp", "dimensions_8hpp.html", "dimensions_8hpp" ], [ "partial.hpp", "partial_8hpp.html", "partial_8hpp" ], [ "quantities.hpp", "quantities_8hpp.html", "quantities_8hpp" ], [ "type_alias.hpp", "type__alias_8hpp.html", "type__alias_8hpp" ] ];