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