package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Trad : sig ... end

Signature

type localID = Trad.localID
type localDomain = Trad.localDomain
type globalID = analysisID
type globalDomain = analysisDomain
val loc2gloID : localID -> globalID
val loc2gloDomain : localDomain -> globalDomain
val glo2locID : globalID -> localID
val glo2locDomain : globalDomain -> localDomain