fmrisc.Syntax
Interface Type

All Superinterfaces:

AST

All Known Implementing Classes:

ArrayType, AtomicType, FunctionType, LetType, RecordType, Reference, SubrangeType, SubType, TupleType, TypeBase

public interface Type
extends AST

Interface to types.

Method Summary

Type	instantiateType() return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers

Methods inherited from interface fmrisc.Syntax.AST

accept, print, printCore, printParens, toString

Method Detail

instantiateType

Type instantiateType()

return copy of AST with value references instantiated by the substitutions set in the corresponding declaration identifiers

Returns:

the instantiated copy