Module `Backend_var.With_provenance`

type t

Values of type t should be used for variables in binding position.

val print : Stdlib.Format.formatter -> Backend_var.With_provenance.t -> unit

val create : 
  ?provenance:Backend_var.Provenance.t ->
  Backend_var.backend_var ->
  Backend_var.With_provenance.t

val var : Backend_var.With_provenance.t -> Backend_var.backend_var

val provenance : 
  Backend_var.With_provenance.t ->
  Backend_var.Provenance.t option

val name : Backend_var.With_provenance.t -> string

val rename : Backend_var.With_provenance.t -> Backend_var.With_provenance.t

Module Backend_var.With_provenance