Function polar_core::normalize::and_

source ·
pub fn and_(l: Term, r: Term) -> Term