sig
  type t = Lang.adt
  val basename : Lang.adt -> string
  val debug : Lang.adt -> string
  val hash : Lang.adt -> int
  val compare : Lang.adt -> Lang.adt -> int
  val equal : Lang.adt -> Lang.adt -> bool
  val pretty : Format.formatter -> Lang.adt -> unit
end