voile-util (cargo): Utilities extracted from Voile language's type-checker
Keywords: dependent-types|extensible|programming-language|type-theory