mlton/atoms/tycon-kind.sig

   1 (* Copyright (C) 2009 Matthew Fluet.
   2  * Copyright (C) 2003-2006 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature TYCON_KIND_STRUCTS =
  10    sig
  11    end
  12
  13 signature TYCON_KIND =
  14    sig
  15       include TYCON_KIND_STRUCTS
  16
  17       datatype t =
  18          Arity of int
  19        | Nary
  20
  21       val equals: t * t -> bool
  22       val layout: t -> Layout.t
  23    end