Data.IntMap.Internal
data IntMap a
type Key
type SimpleWhenMissing
type SimpleWhenMatched
WhenMatched
tacticsWhenMissing
tacticsdata WhenMissing f x y
data WhenMatched f x y z
WhenMatched
tacticsWhenMissing
tacticstype Mask
type Prefix
type Nat