The #modify of every procedure that takes a Static type.
is_static :: (R: Type) -> (bool, string)The #modify of every procedure that takes a Static type.
Parameters
- R: Type
Returns
- bool
- string
The #modify of every procedure that takes a Static type.
is_static :: (R: Type) -> (bool, string)The #modify of every procedure that takes a Static type.