dependent-types (npm): Dependent types library
Keywords: dependent types