Up
–
preface
»
Preface_make
»
Semigroup
»
From_alternative
» T
Parameter
From_alternative.T
type
t