Function Expression Contents Syntax fn_expr ::= '|' param_list '|' expr | '||' expr Typing Semantics Examples TODO