/** %% This functor defines auxiliary functionality. %% */ functor export Square define /** %% Square expects X (integer or float) and returns the square of X. %% */ fun {Square X} X * X end end