maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] About TYPE CONVERSION in Maude

From: ZHANG Min <zhangmin AT jaist.ac.jp>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] About TYPE CONVERSION in Maude
Date: Mon, 15 Dec 2008 14:25:41 +0900
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Dear ALL:

I'm not sure if it is a stupid question. But I feel trapped in it.
I'm trying converting a number of Nat into a Qid. How can we do that in
Maude. Does Maude support such kind of type conversion? For example, how
can I get a '2 of Qid from the number 2 of Nat? Is there someone giving
me some hints about it?

Thanks!!

--
Best regards,
ZHANG Min

===========================================
mail to:
zhangmin AT jaist.ac.jp
JAIST, Ishikawa, Japan
===========================================

[Maude-help] About TYPE CONVERSION in Maude, ZHANG Min, 12/14/2008
- Re: [Maude-help] About TYPE CONVERSION in Maude, Steven Eker, 12/15/2008