sawja
  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type localID
type localDomain
type globalID = Left.analysisID
type globalDomain = Left.analysisDomain
val loc2gloID : localID -> globalID
val loc2gloDomain : localDomain -> globalDomain
val glo2locID : globalID -> localID
val glo2locDomain : globalDomain -> localDomain