Up
Module
TermMono.Make.T
module
T:
T