Module `Flambda2_term_basics.Symbol_projection`

module Projection : sig ... end

type t

val print : 
  Stdlib.Format.formatter ->
  Flambda2_term_basics.Symbol_projection.t ->
  unit

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

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

val symbol : 
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_identifiers.Symbol.t

val projection : 
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_term_basics.Symbol_projection.Projection.t

val compare : 
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_term_basics.Symbol_projection.t ->
  int

val equal : 
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_term_basics.Symbol_projection.t ->
  bool

val hash : Flambda2_term_basics.Symbol_projection.t -> int

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

val free_names : 
  Flambda2_term_basics.Symbol_projection.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 : 
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_term_basics.Symbol_projection.t

Apply a renaming throughout a term.

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

val ids_for_export : 
  Flambda2_term_basics.Symbol_projection.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

Module Flambda2_term_basics.Symbol_projection

Module `Flambda2_term_basics.Symbol_projection`