jon.recoil.org

Module Flambda2_simplify.Lifted_constant_state

module DE = Downwards_env
module LC = Lifted_constant
type t
val empty : t
val is_empty : t -> bool
val print : Format.formatter -> t -> unit
val singleton : LC.t -> t
val add : t -> LC.t -> t
val singleton_list_of_constants : LC.t list -> t
val union : t -> t -> t
val fold : t -> init:'a -> f:('a -> LC.t -> 'a) -> 'a
val all_defined_symbols : t -> Flambda2_identifiers.Symbol.Set.t
val add_to_denv : ?maybe_already_defined:unit -> DE.t -> t -> DE.t
type sort_result = private {
  1. innermost_first : LC.t array;
}
val sort : t -> sort_result