maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] sets of customized sort

From: wilson <wmtan00 AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] sets of customized sort
Date: Wed, 12 May 2010 12:08:20 +0800
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi, how does one create a set of a customized sort type in Maude?

I've been trying to do it by calling and protecting modules from prelude.maude, but the only parameters they accept are INT, etc.

Any help that would get in me started in the right direction would be greatly appreciated. Thanks!

[Maude-help] sets of customized sort, wilson, 05/11/2010
- Re: [Maude-help] sets of customized sort, Marc Boyer, 05/12/2010