#2 function_type,prms,tree_list,type*

[James Michael DuPont]

This should declare a order collection of the types of the
parameters of a function type.
Each element of the list is a derived class of the class "type"
The reverse collection is named "parameter_of"

ordered_collection(
from => function_type,
name => "Parmeters"
via-field => prms,
to => tree-list (
# points to the head of the list
valu => # the value field is important
base_type( # the type of the list is a derived from
name=> type # type and all its base classes
)
)
),
reverse => "parameter_of" # this has the reverse
predicate of the types used as paramters.
)

[James Michael DuPont]

Logged In: YES
user_id=147871

save this