Skip to main content

mk_app

oxilean_kernel

Function mk_app 

Source 
pub fn mk_app(f: Expr, a: Expr) -> Expr
Expand description

Convenience: make App(f, a).