mlton/atoms/tycon.sig

   1 (* Copyright (C) 2017 Matthew Fluet.
   2  * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  * Copyright (C) 1997-2000 NEC Research Institute.
   5  *
   6  * MLton is released under a BSD-style license.
   7  * See the file MLton-LICENSE for details.
   8  *)
   9
  10 signature TYCON_STRUCTS =
  11    sig
  12       structure AdmitsEquality: ADMITS_EQUALITY
  13       structure CharSize: CHAR_SIZE
  14       structure IntSize: INT_SIZE
  15       structure Kind: TYCON_KIND
  16       structure RealSize: REAL_SIZE
  17       structure WordSize: WORD_SIZE
  18    end
  19
  20 signature TYCON =
  21    sig
  22       include ID
  23       include PRIM_TYCONS
  24       sharing type t = tycon
  25
  26       val stats: unit -> Layout.t
  27    end