class BOUND_ITER_TYPE_LAYOUT < $LAYOUT
****
A layout corresponding to a Sather bound iter type i.e. same as above, except no fields for bound args e.g.: ITER(INT!,INT):INT serves to represent the bnd TYPE


Ancestors
$LAYOUT $STR FIX_TYPE



Public


Readable Attributes
attr str:STR;
attr tp:TP_ITER;

Writable Attributes
attr tp:TP_ITER;

Readonly Shareds
shared layouts:FSET{BOUND_ITER_TYPE_LAYOUT};

Writable Shareds
shared layouts:FSET{BOUND_ITER_TYPE_LAYOUT};

Features
create(arg_tp:$TP):BOUND_ITER_TYPE_LAYOUT
dependencies:FLIST{$LAYOUT}
fix_out_type(e:AM_FORMAL_ARG, s:STR):STR
**** probably inadequate!
fix_out_type(e:ARG, s:STR):STR
**** probably inadequate!
typedef(c:CGEN):STR


Private

attr str:STR;