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