Skip to main content

format_ensures_item

intent_codegen

Function format_ensures_item 

Source 
pub fn format_ensures_item(item: &EnsuresItem) -> String
Expand description

Format an ensures item as a comment string.