require Milist-dash

module ILIST'-NAT {
  pr (ILIST'(X <= view to SIMPLE-NAT { sort Elt -> Nat }))
}

provide Milist-nat-dash

eof
--

** $Id: Milist-nat-dash.mod,v 1.1.1.1 2003-06-19 08:30:11 sawada Exp $
