Skip to main content
CORRESPONDENCE_SCHEMA
logicaffeine_
kernel
0.11.0
In logicaffeine_
kernel::
interface::
lean::
package
logicaffeine_kernel
::
interface
::
lean
::
package
Constant
CORRESPONDENCE_
SCHEMA
Copy item path
Source
pub const CORRESPONDENCE_SCHEMA: &
str
= "logos-lean-correspondence/1";