Module `Flambda2_nominal.Name_abstraction`

module type Term = sig ... end

type ('bindable, 'term) t

module Make
  (Bindable : Flambda2_nominal.Bindable.S)
  (Term : Flambda2_nominal.Name_abstraction.Term) : 
  sig ... end

val apply_renaming : 
  (module Flambda2_nominal.Bindable.S with type t = 'bindable) ->
  ('bindable, 'term) Flambda2_nominal.Name_abstraction.t ->
  Flambda2_nominal.Renaming.t ->
  apply_renaming_to_term:('term -> Flambda2_nominal.Renaming.t -> 'term) ->
  ('bindable, 'term) Flambda2_nominal.Name_abstraction.t

val pattern_match : 
  (module Flambda2_nominal.Bindable.S with type t = 'bindable) ->
  ('bindable, 'term) Flambda2_nominal.Name_abstraction.t ->
  apply_renaming_to_term:('term -> Flambda2_nominal.Renaming.t -> 'term) ->
  f:('bindable -> 'term -> 'a) ->
  'a

val pattern_match_for_printing : 
  (module Flambda2_nominal.Bindable.S with type t = 'bindable) ->
  ('bindable, 'term) Flambda2_nominal.Name_abstraction.t ->
  apply_renaming_to_term:('term -> Flambda2_nominal.Renaming.t -> 'term) ->
  f:('bindable -> 'term -> 'a) ->
  'a

val free_names : 
  (module Flambda2_nominal.Bindable.S with type t = 'bindable) ->
  ('bindable, 'term) Flambda2_nominal.Name_abstraction.t ->
  free_names_of_term:('term -> Flambda2_nominal.Name_occurrences.t) ->
  Flambda2_nominal.Name_occurrences.t

val ids_for_export : 
  (module Flambda2_nominal.Bindable.S with type t = 'bindable) ->
  ('bindable, 'term) Flambda2_nominal.Name_abstraction.t ->
  ids_for_export_of_term:('term -> Flambda2_nominal.Ids_for_export.t) ->
  Flambda2_nominal.Ids_for_export.t

Module Flambda2_nominal.Name_abstraction

Module `Flambda2_nominal.Name_abstraction`