Module Mavryk_benchmark.Free_variable

type t
val compare : t -> t -> int
val equal : t -> t -> bool
val of_string : string -> t
val to_string : t -> string
val encoding : t Mavryk_base.TzPervasives.Data_encoding.t
val of_namespace : Namespace.t -> t
val to_namespace : t -> Namespace.t
val pp : Stdlib.Format.formatter -> t -> unit
val pp_short : Stdlib.Format.formatter -> t -> unit
module Map : sig ... end
module Set : sig ... end
module Sparse_vec : Sparse_vec.S with type basis = t