We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent da760bc commit 987f6f6Copy full SHA for 987f6f6
benchmark/benchmarks.jl
@@ -1,5 +1,5 @@
1
using BenchmarkTools, SymbolicUtils
2
-using SymbolicUtils: is_literal_number
+using SymbolicUtils: is_literal_number, @rule
3
using Metatheory
4
5
using Random
0 commit comments