mlton/atoms/int-size.sig

   1 (* Copyright (C) 2004-2007 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7
   8 signature INT_SIZE_STRUCTS =
   9    sig
  10    end
  11
  12 signature INT_SIZE =
  13    sig
  14       include INT_SIZE_STRUCTS
  15
  16       type t
  17
  18       val all: t list
  19       val bits: t -> Bits.t
  20       val equals: t * t -> bool
  21       val fromBits : Bits.t -> t
  22       val memoize: (t -> 'a) -> t -> 'a
  23    end