Maude-help mailing list

[Matthew Rocklin <mrocklin AT cs.uchicago.edu>]

I'm looking for a wildcard symbol.

I.e. imagine I have an operation like this

op F : Char Nat String Float -> Bool .

And I want a rule that says, if the first char is an 'a', make it an "A". I want to write this rule like this:

eq F("a", _, _, _) = F("A", _, _, _) .

Is there a clean way to do this in Maude?

Best,

-- 

Matthew Rocklin

University of Chicago

Computer Science PhD Student