search

logiccomp / lsl

4 stars 2 forks source link

OneOf not working with Constant #6

Closed dbp closed 10 months ago

dbp commented 10 months ago 
> (contract-generate (Constant 0))
0
> (contract-generate (OneOf (Constant 0) (Constant 1)))
#<procedure:...untime/contract.rkt:137:0>

(I was trying to defineBit)