Module `Flambda2_simplify.One_continuation_use`

module DE = Flambda2_simplify.Downwards_env

module T = Flambda2_types

type t

val create : 
  Flambda2_term_basics.Continuation_use_kind.t ->
  env_at_use:DE.t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t ->
  arg_types:T.t list ->
  Flambda2_simplify.One_continuation_use.t

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

val id : 
  Flambda2_simplify.One_continuation_use.t ->
  Flambda2_identifiers.Apply_cont_rewrite_id.t

val use_kind : 
  Flambda2_simplify.One_continuation_use.t ->
  Flambda2_term_basics.Continuation_use_kind.t

val arg_types : Flambda2_simplify.One_continuation_use.t -> T.t list

val env_at_use : Flambda2_simplify.One_continuation_use.t -> DE.t

val mark_non_inlinable : 
  Flambda2_simplify.One_continuation_use.t ->
  Flambda2_simplify.One_continuation_use.t

Module Flambda2_simplify.One_continuation_use

Module `Flambda2_simplify.One_continuation_use`