mlton/atoms/unary-tycon.sig

   1 (* Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  * Copyright (C) 1997-2000 NEC Research Institute.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature UNARY_TYCON_STRUCTS =
  10    sig
  11       structure Tycon: TYCON
  12    end
  13
  14 signature UNARY_TYCON =
  15    sig
  16       include UNARY_TYCON_STRUCTS
  17
  18       datatype t = Ref | Array | Vector
  19
  20       val toTycon: t -> Tycon.t
  21       val toString: t -> string
  22       val equals: t * t -> bool
  23       val layout: t -> Layout.t
  24    end