home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / basics / unify.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  173 b   |  11 lines
  1. (* Copyright 1990 by AT&T Bell Laboratories *)
  2.  
  3. signature UNIFY =
  4. sig
  5.  
  6.   (* type unification *)
  7.   exception Unify of string
  8.   val unifyTy : Types.ty * Types.ty -> unit
  9.  
  10. end
  11.