copilot-language-0.2: A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Copilot.Language.Operators.Integral

Description

Documentation

div :: (Typed a, Integral a) => Stream a -> Stream a -> Stream aSource

mod :: (Typed a, Integral a) => Stream a -> Stream a -> Stream aSource