elliottt / easy-smt

Easy SMT solver interaction
Apache License 2.0
24 stars 4 forks source link

Pass-through single-element arguments to variadic constructors #9

Closed elliottt closed 1 year ago

elliottt commented 1 year ago

Pass through the expression given when variadic constructors like and_many are called with an iterator that yields a single element. Those constructors will still panic if given no arguments, but they don't require 2 anymore.

Fixes #8