Skip to main content

as_comment

ftml_solver::rules

Function as_comment 

Source 
fn as_comment(term: &Term) -> Option<&Term>