|| ?module? _SystemDynamic

:: _SystemDynamic._DynamicTemp = {_SystemDynamic._value, _SystemDynamic._type}
_SystemDynamic.get__value_0 rec = select rec (_SystemDynamic._DynamicTemp a1 a2 -> a1)
_SystemDynamic.get__type_1 rec = select rec (_SystemDynamic._DynamicTemp a1 a2 -> a2)
_SystemDynamic.set__value_0 rec val = select rec (_SystemDynamic._DynamicTemp  a1 a2 -> _SystemDynamic._DynamicTemp val a2)
_SystemDynamic.set__type_1 rec val = select rec (_SystemDynamic._DynamicTemp  a1 a2 -> _SystemDynamic._DynamicTemp a1 val)