Skip to main content

construct_binder

ftml_solver::rules::operators::pi

Function construct_binder 

Source 
fn construct_binder(var: ComponentVar, body: Term, head: &SymbolUri) -> Term