Module Globular.Theory.Cons

module Cons: sig .. end

type t = int 

val fresh : unit -> t

val to_string : t -> string