Warn when HB.instance does not produce any instance - Githubissues

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes

MIT License

97 stars 21 forks source link

Warn when HB.instance does not produce any instance #348

Open proux01 opened 1 year ago

proux01 commented 1 year ago

C.f. https://coq.zulipchat.com/#narrow/stream/237868-Hierarchy-Builder-devs-.26-users/topic/Extending.20the.20topology.20heirarchy/near/344790913