required_sort

logicaffeine_language::ontology

Function required_sort 

Source 
pub fn required_sort(predicate: &str) -> Option<Sort>
Expand description

Get the required sort for a predicate, if any.