Module Lang.ADT

module ADT: sig .. end

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