package sawja

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

Parameters

module TYPE : sig ... end

Signature

type localID = TYPE.id
type localDomain = TYPE.dom
type globalID = TYPE.id
type globalDomain = TYPE.dom
val loc2gloID : localID -> globalID
val loc2gloDomain : localDomain -> globalDomain
val glo2locID : globalID -> localID
val glo2locDomain : globalDomain -> localDomain