Module Ast.VarSource

Sourcetype t
Sourceval t : 'm expr Bindlib.var -> t

Hides the marking type parameter annotation behind an existential type so that variables can be stored in non-polymorphic sets and maps

Sourceval get : t -> 'm expr Bindlib.var

Be careful with this, it breaks the type abstraction by casting the existential type annotation. See !Bindlib.copy_var for more detail.

Sourceval compare : t -> t -> int
Sourceval eq : t -> t -> bool