Module `Flambda2_types.Join_analysis`

type 'a t

val print : 
  Stdlib.Format.formatter ->
  'a Flambda2_types.Join_analysis.t ->
  unit

module Variable_refined_at_join : sig ... end

type 'a simple_refined_at_join =

| Not_refined_at_join
| Invariant_in_all_uses of Flambda2_term_basics.Simple.t
| Variable_refined_at_these_uses of 'a Flambda2_types.Join_analysis.Variable_refined_at_join.t

val simple_refined_at_join : 
  'a Flambda2_types.Join_analysis.t ->
  Flambda2_types.Typing_env.t ->
  Flambda2_term_basics.Simple.t ->
  'a Flambda2_types.Join_analysis.simple_refined_at_join

Module Flambda2_types.Join_analysis

Module `Flambda2_types.Join_analysis`