declare %% representing ::= sample( ) fun {NewSample I J K} if 0 =< I andthen I < J andthen J < K then sample(I J K) else raise bad end end end fun {Average sample(I J K)} {IntToFloat I+J+K}/3.0 end fun {Median sample(_ J _)} J end {Browse {NewSample 6 8 16}} {Browse {Median sample(5 1 25)}}