Module `Flambda2_term_basics.Symbol_projection`

module Projection : sig ... end

type t

val print : Format.formatter -> t -> unit

val create : 
  Flambda2_identifiers.Symbol.t ->
  Projection.t ->
  Flambda2_kinds.Flambda_kind.With_subkind.t ->
  t

val kind : t -> Flambda2_kinds.Flambda_kind.With_subkind.t

val symbol : t -> Flambda2_identifiers.Symbol.t

val projection : t -> Projection.t

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

include Flambda2_nominal.Contains_names.S with type t := t

val free_names : t -> Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : t -> Flambda2_nominal.Renaming.t -> t

Apply a renaming throughout a term.

include Flambda2_nominal.Contains_ids.S with type t := t

val ids_for_export : t -> Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

Module Flambda2_term_basics.Symbol_projection