def map_type(viper_ast: ViperAST, key_type, value_type):
type_vars = _map_type_var_map(viper_ast, key_type, value_type)
return viper_ast.DomainType(mangled.MAP_DOMAIN, type_vars,
type_vars.keys())
def struct_type(viper_ast: ViperAST):
return viper_ast.DomainType(mangled.STRUCT_DOMAIN, {}, [])
def wrapped_int_type(viper_ast: ViperAST):
return viper_ast.DomainType(mangled.WRAPPED_INT_DOMAIN, {}, [])