Up

Module Generic_util_app.T

module T: sig .. end

Module defining the types Generic_util_app.T.app.

type ('_, '_) app = ..

Extensible GADT interpreting type application.