hets -- a heterogenous Specification (CASL) tool set
Contents
Index
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