hets -- a heterogenous Specification (CASL) tool setContentsIndex
CASL.Overload
Portability portable
Stability provisional
Maintainer hets@tzi.de
Description
Overload resolution
Synopsis
overloadResolution :: Sign -> [Named FORMULA] -> Result [Named FORMULA]
Produced by Haddock version 0.6