Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package glicko2
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The pre-instanciated, ready to use Glicko2 module.
module LowLevel : Glicko2_types.LOW_LEVELmodule SingleGame : Glicko2_types.SINGLE_GAME