Function horned_owl::model::declaration[][src]

pub fn declaration(ne: NamedEntity) -> Axiom