jon.recoil.org

Module Flambda2_bound_identifiers.Bound_name

A Name equipped with the extra information required to have it in binding position.

type t
val create_var : Bound_var.t -> t
val create_symbol : Flambda2_identifiers.Symbol.t -> t
val name_mode : t -> Flambda2_nominal.Name_mode.t
val is_symbol : t -> bool
val print : Format.formatter -> t -> unit