| Standard ML Basis Library |
signature PRE_GENERAL =
sig
type unit
type exn
datatype order = LESS | EQUAL | GREATER
exception Bind
exception Match
exception Subscript
exception Size
exception Overflow
exception Chr
exception Div
exception Domain
exception Span
exception Fail of string
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
Type detail |
---|
type unit
type exn
Datatype detail |
---|
datatype order = LESS | EQUAL | GREATER
DataConstructor detail |
---|
constructor LESS : order
constructor EQUAL : order
constructor GREATER : order
Value detail |
---|
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
Exception detail |
---|
exception Bind
exception Match
exception Subscript
exception Size
exception Overflow
exception Chr
exception Div
exception Domain
exception Span
exception Fail of string
| Standard ML Basis Library |
This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.
Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.
Permission is granted for internet users to make one paper copy for their
own personal use. Further hardcopy reproduction is strictly prohibited.
Permission to distribute the HTML document electronically on any medium
other than the internet must be requested from the copyright holders by
contacting the editors.
Printed versions of the SML Basis Manual are available from Cambridge
University Press.
To order, please visit
www.cup.org (North America) or
www.cup.cam.ac.uk (outside North America). |