Eq LocNum | |
Ord LocNum | |
PartialOrder LocNum | |
Peano LocNum | |
Pretty LocNum | |
Balloon CPSKon SGCall | |
(TimeC lτ, TimeC dτ, ValC lτ dτ val) => Analysis val lτ dτ (PS val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ, ValC lτ dτ val) => Analysis val lτ dτ (FI val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ, ValC lτ dτ val) => Analysis val lτ dτ (FS val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ) => Inject (PSΣ val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ) => Inject (FIΣ val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ) => Inject (FSΣ val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ, ValC lτ dτ val) => Execution (PSΣ val lτ dτ Ψ) (PSΣ𝒫 val lτ dτ Ψ) (PS val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ, ValC lτ dτ val) => Execution (FIΣ val lτ dτ Ψ) (FIΣ𝒫 val lτ dτ Ψ) (FI val lτ dτ Ψ) | |
(TimeC lτ, TimeC dτ, ValC lτ dτ val) => Execution (FSΣ val lτ dτ Ψ) (FSΣ𝒫 val lτ dτ Ψ) (FS val lτ dτ Ψ) | |