Overview  Index  Help 
SMLDoc

FileID


structure FileID :> FILE_ID =
struct
  type ord_key = id
  datatype id = PRESENT of F.file_id | ABSENT of string
  val compare : id * id -> order
  val fileId : string -> id
  val canonical : string -> string
end

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

 
Type detail

ord_key

type ord_key = id

 
Datatype detail

id

datatype id = PRESENT of F.file_id | ABSENT of string

 
DataConstructor detail

PRESENT

constructor PRESENT : F.file_id -> id


ABSENT

constructor ABSENT : string -> 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