module Flagged_Value:sig
..end
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