TFL/utils.sml
changeset 3302 404fe31fd8d2
parent 3245 241838c01caf
child 3330 ab7161e593c8
equal deleted inserted replaced
3301:cdcc4d5602b6 3302:404fe31fd8d2
     1 (*---------------------------------------------------------------------------
     1 (*  Title:      TFL/utils
     2  * Some common utilities.
     2     ID:         $Id$
     3  *---------------------------------------------------------------------------*)
     3     Author:     Konrad Slind, Cambridge University Computer Laboratory
       
     4     Copyright   1997  University of Cambridge
     4 
     5 
       
     6 Basic utilities
       
     7 *)
     5 
     8 
     6 structure Utils = 
     9 structure Utils = 
     7 struct
    10 struct
     8 
    11 
     9 (* Standard exception for TFL. *)
    12 (* Standard exception for TFL. *)