[<A HREF="ComposeMaps.ps">PostScript</A>]

<PRE>
ComposeMaps (M1, M2, D, T, R): <b>trait</b>
  % If m1 is a map from D to T
  % and m2 is a map from T to R,
  % m1 \circ m2 is a map from D to R.
  <b>assumes</b>
    <A HREF="FiniteMap.html">FiniteMap</A> (M1, T, R),
    <A HREF="FiniteMap.html">FiniteMap</A> (M2, D, T)
  <b>includes</b> <A HREF="FiniteMap.html">FiniteMap</A>
  <b>introduces</b> __ \circ __: M1, M2 -&gt; M
  <b>asserts</b> <b>forall</b> m1: M1, m2: M2, d: D
    apply(m1 \circ m2, d) == apply(m1, apply(m2, d));
    defined(m1 \circ m2, d) ==
      defined(m2, d) /\ defined(m1, apply(m2, d))
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]