tiny.pluck.bdd.VarLabelSet

Defined in bdd.

Source

Source: lib/pluck/src/bdd.zig:27

1pub const VarLabelSet = std.HashMapUnmanaged(VarLabel, void, VarLabelHashContext, 80);

Also reachable as

evaluator.VarLabelSet.

Audit