Module Globular.Theory.Var

module Var: sig .. end

type t = int 

val fresh : unit -> t

val to_string : t -> string