1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
2 * Jagannathan, and Stephen Weeks.
4 * MLton is released under a BSD-style license.
5 * See the file MLton-LICENSE for details.
8 functor Sum(S: SUM_STRUCTS): SUM =
19 | _ => Error.bug "Sum.outX"
23 | _ => Error.bug "Sum.outY"
30 fn (X l, X l') => X.equals(l, l')
31 | (Y l, Y l') => Y.equals(l, l')
34 fun layout s = map(s, X.layout, Y.layout)