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