pub fn itype_text_view(
    arg_ty: &IType,
    record_types: &HashMap<u64, Rc<RecordType>, RandomState>
) -> String
Expand description

Converts the supplied IType to a Aqua0compatible text representation.

SAFETY: It’s assumed that arguments are well-formed and all records have a corresponded type in record_types.