Language.VDM_SL.SyntaxTermInstances

Portability	portable
Stability	experimental
Maintainer	joost.visser@di.uminho.pt

Contents

Generated by DrIFT : Look, but Don't Touch. *

Description

This module contains the instances definitions for Term and Typeable for the VDM-SL abstract syntax of Language.VDM_SL.Syntax. These instances were generated with DrIFT.

Synopsis

Generated by DrIFT : Look, but Don't Touch. *

Produced by Haddock version 0.6