Module `Sort.Var`

type id = private int

val get_id : Jkind.Sort.var -> Jkind.Sort.Var.id

Extract the unique id for a var; this should be used only for debugging or printing, not for decision making

val get_print_number : Jkind.Sort.Var.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 : Jkind.Sort.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`