Skip to main content
OPEN
logicaffeine_
kernel
0.11.0
In logicaffeine_
kernel::
dag::
sem::
value
logicaffeine_kernel
::
dag
::
sem
::
value
Constant
OPEN
Copy item path
Source
pub const OPEN:
u8
= 1;
Expand description
The value mentions a variable bound by a binder being checked or compared.