Module Cunit.VarSource

Sourcetype t = private Die.t
Sourceval name : t -> string

name var return the name of the variable var

Sourceval line : t -> int

line var return the line of the declaration of the variable var

Sourceval typ : t -> Type.t

typ var return the type of the declaration of the variable var

include Binsec_base.Sigs.PRINTABLE with type t := t
Sourceval pp : Format.formatter -> t -> unit