Uses of Class
fmrisc.Syntax.SubType

Packages that use SubType
fmrisc.Syntax   
 

Uses of SubType in fmrisc.Syntax
 

Methods in fmrisc.Syntax that return SubType
static SubType Construct.subType(Expression predicate)
          construct subtype with denoted predicate.