HepLean Documentation

Init.Data.SInt

This module contains the definitions and basic theory about signed fixed width integer types.