mlton/atoms/prim-cons.sig

   1 (* Copyright (C) 1999-2005 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 PRIM_CONS_STRUCTS =
  10    sig
  11       type t
  12       val equals: t * t -> bool
  13       val fromString: string -> t
  14    end
  15
  16 signature PRIM_CONS =
  17    sig
  18       type con
  19
  20       val bind: con
  21       val cons: con
  22       val falsee: con
  23       val match: con
  24       val nill: con
  25       val overflow: con
  26       val reff: con
  27       val truee: con
  28    end