Function modus_ponens::matching::get_or_key_owning [−][src]
pub fn get_or_key_owning<'a>(
matching: MPMatching<'a>,
key: &'a MPSegment
) -> &'a MPSegment
pub fn get_or_key_owning<'a>(
matching: MPMatching<'a>,
key: &'a MPSegment
) -> &'a MPSegment