Overview  Index  Help 
SMLDoc

Binds


structure Binds =
struct
  datatype bind =
           SigBind of EA.sigb
         | FsigBind of EA.fsigb
         | StrBind of EA.strb
         | FctBind of EA.fctb
         | TypeBind of EA.tb
         | DataTypeBind of EA.db
         | ConstructorBind of EA.cb
         | ExceptionBind of EA.eb
         | ValBind of EA.vb
  val getModuleFQN
  val getName
  val getOptDC
  val isSigBind
  val isFsigBind
  val isStrBind
  val isFctBind
  val isTypeBind
  val isDataTypeBind
  val isConstructorBind
  val isExceptionBind
  val isValBind
end

binding information.

Author:
YAMATODANI Kiyoshi
Version:
$Id: StrBinds.html,v 1.9 2007/02/17 07:01:57 kiyoshiy Exp $

   
Datatype detail

bind

datatype bind =
         SigBind of EA.sigb
       | FsigBind of EA.fsigb
       | StrBind of EA.strb
       | FctBind of EA.fctb
       | TypeBind of EA.tb
       | DataTypeBind of EA.db
       | ConstructorBind of EA.cb
       | ExceptionBind of EA.eb
       | ValBind of EA.vb

 
DataConstructor detail

SigBind

constructor SigBind : EA.sigb -> bind


FsigBind

constructor FsigBind : EA.fsigb -> bind


StrBind

constructor StrBind : EA.strb -> bind


FctBind

constructor FctBind : EA.fctb -> bind


TypeBind

constructor TypeBind : EA.tb -> bind


DataTypeBind

constructor DataTypeBind : EA.db -> bind


ConstructorBind

constructor ConstructorBind : EA.cb -> bind


ExceptionBind

constructor ExceptionBind : EA.eb -> bind


ValBind

constructor ValBind : EA.vb -> bind

 
Value detail

getModuleFQN

val getModuleFQN


getName

val getName


getOptDC

val getOptDC


isSigBind

val isSigBind


isFsigBind

val isFsigBind


isStrBind

val isStrBind


isFctBind

val isFctBind


isTypeBind

val isTypeBind


isDataTypeBind

val isDataTypeBind


isConstructorBind

val isConstructorBind


isExceptionBind

val isExceptionBind


isValBind

val isValBind

 


Overview  Index  Help 
SMLDoc: Documentation generator for SML