[Why3-club] HighOrd theory documentation
shigeonishi at hotmail.com
Fri Nov 23 04:02:54 CET 2012
Hi, I'm trying to use the HighOrd theory but can't find any documentation about it. Can someone help me?
Specifically I would like to use first class predicates in structures or tuples by defining variables of such types. There are some examples declaring them (SetComprehension theory) but haven't seen them applied to a variable.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Why3-club