package why3
val print_value : Format.formatter -> value -> unittype result = | Normal of value| Excep of Ity.xsymbol * value| Irred of Expr.expr| Fun of Expr.rsymbol * Ity.pvsymbol list * int
val eval_global_symbol :
?real_param:(int * int * int) ->
Env.env ->
Pmodule.pmodule ->
Format.formatter ->
Expr.rsymbol ->
unit