inline Ġfun Ġinline Fun With Invoke ( s : Ġ( p : ĠInt ) Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġ( s )( 1 1 ) ĊĠĠĠ Ġ( s ). invoke ( 1 1 ) ĊĠĠĠ Ġ( s ) Ġinvoke Ġ 1 1 ĊĠĠĠ Ġ( <! USAGE _ IS _ NOT _ IN LIN ABLE , ĠUN USED _ EXPRESSION !> s <! >) Ċ } Ċ Ċ inline Ġfun ĠFunction 1 < Int , ĠUnit >. inline Ext () Ġ{ ĊĠĠĠ Ġ( this ). invoke ( 1 1 ) ĊĠĠĠ Ġ( this ) Ġinvoke Ġ 1 1 ĊĠĠĠ Ġ( this )( 1 1 ) ĊĠĠĠ Ġ( <! USAGE _ IS _ NOT _ IN LIN ABLE , ĠUN USED _ EXPRESSION !> this <! >) Ċ } Ċ Ċ inline Ġfun Ġinline Fun With Invoke 2 ( s : Ġ( p : ĠInt ) Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġ((( s )))( 1 1 ) ĊĠĠĠ Ġ((( s ))). invoke ( 1 1 ) ĊĠĠĠ Ġ((( s ))) Ġinvoke Ġ 1 1 ĊĠĠĠ Ġ((( <! USAGE _ IS _ NOT _ IN LIN ABLE , ĠUN USED _ EXPRESSION !> s <! > ))) Ċ } Ċ Ċ inline Ġfun Ġpropagation ( s : Ġ( p : ĠInt ) Ġ-> ĠUnit ) Ġ{ ĊĠĠĠ Ġinline Fun With Invoke (( @ label Ġ( s : Ġ( p : ĠInt ) Ġ-> ĠUnit ))) ĊĠĠĠ Ġinline Fun With Invoke (( @ label 2 Ġ@ label Ġ( s : Ġ( p : ĠInt ) Ġ-> ĠUnit ))) Ċ }