Skip to main content

subsumes

concept_graph::subsumption

Function subsumes 

Source 
pub fn subsumes(closure: &Closure, a: Ordinal, b: Ordinal) -> Outcome
Expand description

Tests whether a subsumes b under closure.