Module Wp.Lang.ADT

module ADT: Logic.Data  with type t = adt