Module `Flambda2_simplify.Comparison_result`

type t

val create : 
  prim:Flambda2_terms.Flambda_primitive.t ->
  comparison_results:t Flambda2_identifiers.Variable.Map.t ->
  t option

val print : Format.formatter -> t -> unit

val convert_result_compared_to_tagged_zero : 
  t ->
  _ Flambda2_terms.Flambda_primitive.comparison ->
  Flambda2_terms.Flambda_primitive.t

Module Flambda2_simplify.Comparison_result