VDM-10 Language Manual

VDM-10 Language Manual
import types signature = ‘types’, type import,
{ ‘;’, type import }, [ ‘;’ ] ;
type import = name, [ ‘renamed’, name ]
| type definition, [ ‘renamed’, name ] ;
import values signature = ‘values’, value import,
{ ‘;’, value import }, [ ‘;’ ] ;
value import = name, [ ‘:’, type ], [ ‘renamed’, name ] ;
import functions signature = ‘functions’, function import,
{ ‘;’, function import }, [ ‘;’ ] ;
function import = name, [ [ type variable list ], ‘:’, function type ],
[ ‘renamed’, name ] ;
import operations signature = ‘operations’, operation import,
{ ‘;’, operation import }, [ ‘;’ ] ;
operation import = name, [ ‘:’, operation type ], [ ‘renamed’, name ] ;
export definition = ‘exports’, export module signature ;
export module signature = ‘all’
| export signature,
{ export signature } ;
export signature = export types signature
| values signature
| export functions signature
| operations signature ;
export types signature = ‘types’, type export,
{ ‘;’, type export }, [ ‘;’ ] ;
type export = [ ‘struct’ ], name ;
values signature = ‘values’, value signature,
{ ‘;’, value signature }, [ ‘;’ ] ;
value signature = name list, ‘:’, type ;
export functions signature = ‘functions’ function export,
{ ‘;’, function export } ;
174