ZM.Transform

Saturated ADTs

type MapTypeTree

typeTree

solvedADT

Dependencies

typeDefinition

adtDefinition

innerReferences

references

getADTRef