mirror of
https://github.com/circify/circ.git
synced 2026-01-10 14:17:55 -05:00
2 lines
46 B
Prolog
2 lines
46 B
Prolog
has_bits(X: field, Y: u8) :- X = to_field(Y).
|