1 (* Copyright (C) 2003-2006, 2008 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 TyconKind (S: TYCON_KIND_STRUCTS): TYCON_KIND =
18 fn Arity n => Int.layout n
19 | Nary => Layout.str "n-ary"
22 fn (Arity n, Arity n') => n = n'
23 | (Nary, Nary) => true
26 val equals = Trace.trace2 ("TyconKind.equals", layout, layout, Bool.layout) equals