sig
val bottom : 'a Eval.flagged_value
val equal :
('a -> 'a -> bool) ->
'a Eval.flagged_value -> 'a Eval.flagged_value -> bool
val join :
('a -> 'a -> 'a) ->
'a Eval.flagged_value -> 'a Eval.flagged_value -> 'a Eval.flagged_value
val pretty :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter -> 'a Eval.flagged_value -> unit
end