Also, it would be nice to use the "functional" notation for such operations, that is,

  syntax String ::= substrString(String,Int,Int) [function, klabel(substrString), hook(#STRING:substrString)]

instead of

  syntax String ::= "substrString" "(" String "," Int "," Int ")" [function, klabel(substrString), hook(#STRING:substrString)]


Grigore


________________________________
From: traiansf [notifications@github.com]
Sent: Tuesday, March 04, 2014 3:26 AM
To: kframework/k
Subject: Re: [k] Added many documentation comments; added a "nodoc" tag. (#264)


In include/builtins/string.k:

>    syntax String ::= "substrString" "(" String "," Int "," Int ")" [function, klabel(substrString), hook(#STRING:substrString)]
> +  /*@ TODO: I don't know what these do, and it's not obvious. */


look at find and rfind in the Maude Manual
I'm not sure about the Char versions, though

—
Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/264/files#r10247687>.