Skip to main content

get_app_fn

oxilean_kernel::expr_util::functions

Function get_app_fn 

Source 
pub fn get_app_fn(e: &Expr) -> &Expr
Expand description

Extract the function head from a chain of applications.

get_app_fn(f a1 a2 a3) returns f.