implication

pcp::logic

Function implication 

Source 
pub fn implication<VStore>(
    f: Formula<VStore>,
    g: Formula<VStore>,
) -> Formula<VStore>
where
    VStore: Collection + 'static,