参照型と例外型のプリミティブおよびシステム共通例外名を提供．

signature GENERAL =
sig
  type exn = exn
  datatype order = datatype order
  eqtype unit
  exception Bind
  exception Chr
  exception Div
  exception Domain
  exception Fail of string
  exception Match
  exception Overflow
  exception Size
  exception Span
  exception Subscript
  val ! : ’a ref -> ’a
  val := : ’a ref * ’a -> unit
  val before : ’a * unit -> ’a
  val exnMessage : exn -> string
  val exnName : exn -> string
  val ignore : ’a -> unit
  val o : (’b -> ’c) * (’a -> ’b) -> ’a -> ’c
end