Does K have Rationals?

[omarzd]

Does K have a built-in data type for rationals like Maude's Rat?

[radumereuta]

Not in K4. If you ever need to see what's predefined in k, you can have a look in https://github.com/kframework/k/blob/master/k-distribution/include/builtin/domains.k Andhttps://github.com/kframework/k/blob/master/k-distribution/include/builtin/kast.k

[omarzd]

OK. how about K3.5? can I hook it from the Maude back-end? On Apr 29, 2016 9:03 PM, "Radu Mereuta" [email protected] wrote:

Not in K4. If you ever need to see what's predefined in k, you can have a look in https://github.com/kframework/k/blob/master/k-distribution/include/builtin/domains.k Andhttps:// github.com/kframework/k/blob/master/k-distribution/include/builtin/kast.k

— You are receiving this because you authored the thread. Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/2172#issuecomment-215831962

[omarzd]

@traiansf, can you please help me hook Maude's Rat properly in K3.5?