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 :
(Format.formatter -> 'a -> unit) ->
Format.formatter -> 'a Eval.flagged_value -> unit
end