Module `Flambda2_simplify.Comparison_result`

type t

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

val print : 
  Stdlib.Format.formatter ->
  Flambda2_simplify.Comparison_result.t ->
  unit

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

Module Flambda2_simplify.Comparison_result

Module `Flambda2_simplify.Comparison_result`