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