#lang planet chongkai/sml

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

structure General :> GENERAL =
struct
exception Bind = Bind
exception Chr = Chr
exception Div = Div
exception Domain = Domain
exception Fail = Fail
exception Match = Match
exception Overflow = Overflow
exception Size = Size
exception Span
exception Subscript = Subscript
val exnName = exnName
val exnMessage = exnMessage
datatype order = datatype order
val ! = !
val op := = op :=
val op o = op o
val op before = op before
val ignore = ignore
end