Hets - the Heterogeneous Tool Set

LicenseGPLv2 or higher, see LICENSE.txt
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Hybrid.HybridSign

Description

Signatures for hybrid logic, as extension of CASL signatures.

Documentation

interMap :: Ord a => ([b] -> [b] -> [b]) -> Map a [b] -> Map a [b] -> Map a [b]