org.norecess.citkit.types
Interface IFunctionType

All Superinterfaces:
HobbesType
All Known Implementing Classes:
FunctionType

public interface IFunctionType
extends HobbesType


Method Summary
 ParametersTypes getFormals()
           
 HobbesType getReturnType()
           
 
Methods inherited from interface org.norecess.citkit.types.HobbesType
accept, actual, isBound, toShortString
 

Method Detail

getFormals

ParametersTypes getFormals()

getReturnType

HobbesType getReturnType()