Skip to main content

syn_apply

logicaffeine_proof::tactic_cert

Function syn_apply 

Source 
pub fn syn_apply(f: Syn, x: Syn) -> Syn
Expand description

SApp f x.