Module Eval.Flagged_Value

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