Open
Description
Currently the obvious path from c++ bools to Exprs does the wrong thing and produces an integer Expr instead. Expr should probably have a constructor that takes a bool.
{{ message }}
Currently the obvious path from c++ bools to Exprs does the wrong thing and produces an integer Expr instead. Expr should probably have a constructor that takes a bool.