Module Lang.ADT

module ADT: Logic.Data  with type t = adt