mlton/xml/sxml-exns.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 SXML_EXNS = XML
  10
  11 (*
  12  invariants:
  13  * no PolyVal decs
  14  * hasExns = true
  15  * tyvar lists in datatype, val, and fun decs are always empty
  16  * type lists are empty for variable args and for non-built-in-constructor args
  17  * no tyvars in types
  18  *)