singletons-3.0.1: Basic singleton types and definitions

Index - C

currySigmaData.Singletons.Sigma