Fixpoint.Ast
0.40.0
Definitions
def
isRelational
[v]
(
den :
Denotation[v]
)
: Bool
\ Pure
Returns true if the given denotation is relational.