Skip to main content

map_class_name

Function map_class_name 

Source
pub fn map_class_name(
    ast: &Ast,
    id: Id<TypeNode>,
) -> Result<String, MaterialiseError>
Expand description

The class of a map<K,V>: ZdMap<bound>_<key>_<value>.

ยงErrors

As type_tag.