acgtkLib.utilsLib
UtilsLib.Table
This module implements a functor returning an non-funtional lookup table when provided with a given size
acgtkLib.acgData
acgtkLib.datalogLib
acgtkLib.logic
module type BASE = sig ... end
The signature module for modules providing size
module type TABLE = sig ... end
The signature module for tables
module Make_table (Base : BASE) : TABLE with type key = int
This modules provides the functor