Overview  Index  Help 
SMLDoc

FILE_ID

All Known Implementing Modules:

FileID


signature FILE_ID =
sig
  type id
  type ord_key = id
  val compare : id * id -> order
  val fileId : string -> id
  val canonical : string -> string
end

Abstract file IDs.

Author:
Copyright (c) 2000 by Lucent Technologies, Bell Laboratories , Matthias Blume (blume@kurims.kyoto-u.ac.jp)
Version:
$Id: SigFILE_ID.html,v 1.9 2007/02/17 07:01:57 kiyoshiy Exp $

 
Type detail

id

type id


ord_key

type ord_key = id

     
Value detail

compare

val compare : id * id -> order


fileId

val fileId : string -> id


canonical

val canonical : string -> string

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML