fn logic(&self, id: &Ident) -> Option<Logic> {
		if id == "HORN" {
			Some(Logic::HORN)
		} else {
			None
		}
	}
/// Find the logic with the given id.
Find the logic with the given id.
Find the logic with the given id .
fn logic(&self, id: &Ident) -> Option<Logic> {
		if id == "HORN" {
			Some(Logic::HORN)
		} else {
			None
		}
	}
fn logic ( & self , id : & Ident ) -> Option < Logic > { if id == " " { Some ( Logic :: HORN ) } else { None } }
Find the logic with the given id.
Find the logic with the given id .
&self
id
&Ident
&self
id
&Ident