Skip to main content

METHOD

logicaffeine_cli::interface::lean::native_decide

Constant METHOD 

Source 
pub const METHOD: &'static str;
Expand description

How a disclosed step was re-derived.