acgtkLib.utilsLib
Make_table.Base
acgtkLib.acgData
acgtkLib.datalogLib
acgtkLib.logic
val b : int
The size value