Overview  Index  Help 
SMLDoc

CMSemantic


structure CMSemantic :> CM_SEMANTIC =
struct
  datatype addsym = PLUS | MINUS
  datatype mulsym = TIMES | DIV | MOD
  datatype eqsym = EQ | NE
  datatype ineqsym = GT | GE | LT | LE
  datatype pathName = StandardPathName of string | NativePathName of string
  datatype description =
           Group of (pathName * string optionlist | Alias of pathName
end

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

   
Datatype detail

addsym

datatype addsym = PLUS | MINUS


mulsym

datatype mulsym = TIMES | DIV | MOD


eqsym

datatype eqsym = EQ | NE


ineqsym

datatype ineqsym = GT | GE | LT | LE


pathName

datatype pathName = StandardPathName of string | NativePathName of string


description

datatype description =
         Group of (pathName * string optionlist | Alias of pathName

 
DataConstructor detail

PLUS

constructor PLUS : addsym


MINUS

constructor MINUS : addsym


TIMES

constructor TIMES : mulsym


DIV

constructor DIV : mulsym


MOD

constructor MOD : mulsym


EQ

constructor EQ : eqsym


NE

constructor NE : eqsym


GT

constructor GT : ineqsym


GE

constructor GE : ineqsym


LT

constructor LT : ineqsym


LE

constructor LE : ineqsym


StandardPathName

constructor StandardPathName : string -> pathName


NativePathName

constructor NativePathName : string -> pathName


Group

constructor Group : (pathName * string optionlist -> description


Alias

constructor Alias : pathName -> description

   


Overview  Index  Help 
SMLDoc: Documentation generator for SML