Up – Package index » The Catala compiler » Library catala.dcalc » Dcalc » Ast » Var

Module `Ast.Var`Source

Sourcetype t = expr Bindlib.var

Sourceval make : string Pos.marked -> t

Sourceval compare : 'a Bindlib.var -> 'b Bindlib.var -> int