package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type localID
type localDomain
type globalID
type globalDomain
val loc2gloID : localID -> globalID
val loc2gloDomain : localDomain -> globalDomain
val glo2locID : globalID -> localID
val glo2locDomain : globalDomain -> localDomain