definition module ClientOverride import StdDynamic, SystemTypes // The functions of this module have different implementation // at clint side. It is achieved by excluding this module from linking. onClient :: Bool cast :: a -> b | TC a & TC b cast_to_TaskValue :: a -> TaskValue b | TC a & TC b