FSharp.DependentTypesProvider (nuget): This is a library for F# developers; it contains two F# type providers. The FSharp.DependentTypes.Strings namespace provides types for representing dependent strings, for example strings that must be within a particular range of lengths (BoundedString). The FSharp.DependentTypes.Numbers namespace provides dependent types for the numeric primitives in .NET, e.g. BoundedInt.
Keywords: F#|fsharp|typeprovider