Module `Sort.Var`

type id = private int

val is_cmi_var : var -> bool

Checks whether a var satisfies the properties that hold for variables saved to a cmi.

val get_id : var -> id

Extract the unique id for a var. Outside of a cmi, equal ids imply physical equality of vars.

val get_print_number : id -> int

Get the number of an id, useful for printing. These numbers get allocated only when an id gets printed, and so they are less brittle than just printing the id itself.

val name : var -> string

These names are generated lazily and only when this function is called, and are not guaranteed to be efficient to create

Module Sort.Var

Module `Sort.Var`