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