singletons-3.0.2: Basic singleton types and definitions

Index - C

currySigmaData.Singletons.Sigma