feat-num

Facilities for enumerating and sampling algebraic data types, using Num for big numbers
Legend:
Library
Module
Module type
Parameter
Class
Class type

Libraries

This package provides the following libraries (via dune):

feat-num

Documentation:

Dependencies: feat-core, num