Module `Flambda2_simplify.Lifted_constant_state`

module DE = Flambda2_simplify.Downwards_env

module LC = Flambda2_simplify.Lifted_constant

type t

val empty : Flambda2_simplify.Lifted_constant_state.t

val is_empty : Flambda2_simplify.Lifted_constant_state.t -> bool

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

val singleton : LC.t -> Flambda2_simplify.Lifted_constant_state.t

val add : 
  Flambda2_simplify.Lifted_constant_state.t ->
  LC.t ->
  Flambda2_simplify.Lifted_constant_state.t

val singleton_list_of_constants : 
  LC.t list ->
  Flambda2_simplify.Lifted_constant_state.t

val union : 
  Flambda2_simplify.Lifted_constant_state.t ->
  Flambda2_simplify.Lifted_constant_state.t ->
  Flambda2_simplify.Lifted_constant_state.t

val fold : 
  Flambda2_simplify.Lifted_constant_state.t ->
  init:'a ->
  f:('a -> LC.t -> 'a) ->
  'a

val all_defined_symbols : 
  Flambda2_simplify.Lifted_constant_state.t ->
  Flambda2_identifiers.Symbol.Set.t

val add_to_denv : 
  ?maybe_already_defined:unit ->
  DE.t ->
  Flambda2_simplify.Lifted_constant_state.t ->
  DE.t

type sort_result = private {

innermost_first : LC.t array;

}

val sort : 
  Flambda2_simplify.Lifted_constant_state.t ->
  Flambda2_simplify.Lifted_constant_state.sort_result

Module Flambda2_simplify.Lifted_constant_state

Module `Flambda2_simplify.Lifted_constant_state`