Re: [Sml-implementers] Structure sharing and type abbreviations

[Derek D. <dr...@cs...>]

> After quickly perusing the SML definition, I still don't know what's
> a "clausal function definition".  Could someone enlighten me ?

fun f <pattern1> = ...
  | f <pattern2> = ...
  ...
  | f <patternN> = ...

Derek