Skip to main content
EXPORT
logicaffeine_
kernel
0.11.0
In logicaffeine_
kernel::
interface::
lean::
package
logicaffeine_kernel
::
interface
::
lean
::
package
Constant
EXPORT
Copy item path
Source
pub const EXPORT: &
str
= "source/export.ndjson";