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