在Alloy中，可以使用递归函数来计算嵌套值的总和。下面是一个示例代码：

abstract sig Value {}

one sig IntValue extends Value {
    value: Int
}

one sig NestedValue extends Value {
    nested: Value
}

fun sumValues[v: Value]: Int {
    v.value + sumValues[v.nested]
}

// 用法示例
run {
    // 创建嵌套值的示例
    val1: Value,
    val2: Value,
    val3: Value,
    val4: Value |
    
    // 设置嵌套关系
    val1.nested = val2 and
    val2.nested = val3 and
    val3.nested = val4
    
    // 计算嵌套值的总和
    sumValues[val1] = 10
}

在上面的代码中，我们定义了一个抽象签名Value来表示值。然后，我们定义了两个具体签名IntValue和NestedValue来分别表示整数值和嵌套值。IntValue包含一个整数属性value，而NestedValue包含一个嵌套属性nested，该属性可以是任何Value类型。

接下来，我们定义了一个递归函数sumValues，它接受一个Value类型的参数v，并通过递归调用sumValues来计算嵌套值的总和。如果v是IntValue类型，则返回其value属性；如果v是NestedValue类型，则返回nested属性的值与sumValues递归调用的结果的和。

最后，在示例的run语句中，我们创建了一些嵌套值的实例，并通过设置它们的嵌套关系来定义一个示例场景。然后，我们调用sumValues函数来计算嵌套值的总和，并将结果设置为10。