Skip to main content

print_lean_name

logicaffeine_kernel::interface::lean::intake

Function print_lean_name 

Source 
pub fn print_lean_name(components: &[Component]) -> String
Expand description

Print components as Lean prints a name.