K-user mailing list

[Radu Mereuta <headness13 AT gmail.com>]

Everything that you can use in K, is declared in the /include directory.

There are just a few exceptions:

 - rewrites

 - Map, List, Set, Bag and KList constructors // they require special attention

 - meta-variables which are declared at runtime

Other than that, all the syntactic elements (also the predicates you are looking for) are defined in there.

If you can't find something there, you can't use it.

Unfortunately documentation is scarce in the predefined files, but the names of things are pretty self explanatory.

Radu

On Mon, Sep 16, 2013 at 7:12 PM, Ömer Sinan Ağacan <omeragacan AT gmail.com> wrote:

Hmm .. apparently at least some of them are implemented in K.

---
Ömer Sinan Ağacan
http://osa1.net

2013/9/16 Ömer Sinan Ağacan <omeragacan AT gmail.com>:

> Is there a page to see a list of built-in predicates(to be used in
> `when` parts of rules -- like ==String) and functions(again to be used
> in `when` parts of rule -- but as a function, like Id2String) ?
>
> I tried to search for this in source code but couldn't figure out
> where to look. Maybe we can have a wiki page listing these? (I can
> fill the page once I know where to look)
>
>
> ---
> Ömer Sinan Ağacan
> http://osa1.net

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user