package ocaml-compiler

  1. Overview
  2. Docs

doc/compiler-libs.optcomp/Backend_var/With_provenance/index.html

Module Backend_var.With_provenance

type t

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

val print : Format.formatter -> t -> unit
val create : ?provenance:Provenance.t -> backend_var -> t
val var : t -> backend_var
val provenance : t -> Provenance.t option
val name : t -> string
val rename : t -> t
OCaml

Innovation. Community. Security.