Skip to main content

display_ty

nova_typeck

Function display_ty 

Source 
pub fn display_ty(ty: &Ty, defs: &Definitions) -> String
Expand description

Render a type for use in diagnostics, resolving sum-type names.