defIsFinite {
\schemaVar \variables any vx ;
\schemaVar \variables int ix ;
\schemaVar \variables Seq s ;
\find ( isFinite ( m ) )
\varcond \replacewith ( \exists s ; ( \forall vx ; ( inDomain ( m , vx ) <-> ( \exists ix ; ( 0 <= ix & ix < seqLen ( s ) & seqGet <[ any ]> ( s , ix ) = vx ) ) ) ) )
};defined in: mapSize.key Line: 29 Offset :4