<< Prev | - Up - | Next >> |
reified.isIn
{FS.reified.isIn +I *M $D}
reified.areIn
{FS.reified.areIn +Is *M $Ds}
Is and Ds are lists of the same length such that every element of Ds reifies the presence of the corresponding element
of Is in the set M.
reified.include
{FS.reified.include +D1 *S $D2}
D2 reifies the presence of D1 in the set S.
reified.equal
{FS.reified.equal *S1 *S2 $D}
D reifies the equality of S1 and S2.
<< Prev | - Up - | Next >> |