module ADT:sig
..end
typet =
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