Up
Next
Module
Lang.ADT
module
ADT
:
Logic.Data
with type t = adt