Up
–
Index
»
frama-c-eva
»
Eva
»
Eval
» Evaluated
Module
Eval.Evaluated
type
'a t
=
'a
evaluated
module
Operators
:
sig
...
end