Returns the type a typed Code value stands for, and a status that says why there is none when it fails.
get_root_type :: (code: Code) -> (status: Get_Root_Type_Status, type: Type)Parameters
- code: Code
Returns
- status: Get_Root_Type_Status
- type: Type