Module `Flambda.Expr`

type t = Flambda2_terms.Flambda.expr

The type of equivalence classes of expressions up to alpha-renaming of bound Variables and Continuations.

type descr = Flambda2_terms.Flambda.expr_descr

include Flambda2_terms.Expr_std.S_no_free_names
  with type t := Flambda2_terms.Flambda.Expr.t

val print : Stdlib.Format.formatter -> Flambda2_terms.Flambda.Expr.t -> unit

val apply_renaming : 
  Flambda2_terms.Flambda.Expr.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Flambda.Expr.t

val ids_for_export : 
  Flambda2_terms.Flambda.Expr.t ->
  Flambda2_nominal.Ids_for_export.t

val descr : Flambda2_terms.Flambda.Expr.t -> Flambda2_terms.Flambda.expr_descr

Extract the description of an expression.

val create_let : 
  Flambda2_terms.Flambda.let_expr ->
  Flambda2_terms.Flambda.Expr.t

val create_apply : Flambda2_terms.Apply_expr.t -> Flambda2_terms.Flambda.Expr.t

Create an application expression.

val create_apply_cont : 
  Flambda2_terms.Apply_cont_expr.t ->
  Flambda2_terms.Flambda.Expr.t

Create a continuation application (in the zero-arity case, "goto").

val create_switch : 
  Flambda2_terms.Switch_expr.t ->
  Flambda2_terms.Flambda.Expr.t

val create_invalid : 
  Flambda2_terms.Flambda.Invalid.t ->
  Flambda2_terms.Flambda.Expr.t

Module Flambda.Expr