package abt

  1. Overview
  2. Docs
type t
val newvar : string -> t
val equal : (t * t) -> bool
val compare : (t * t) -> int
val to_string : t -> string
val toUserString : t -> string