realm_method38d.gno

 1package tests
 2
 3var abs nat
 4
 5func (n nat) Add() nat {
 6	return []Word{0}
 7}
 8
 9func GetAbs(cur realm) nat {
10	abs = []Word{0}
11	return abs
12}
13
14func AbsAdd(cur realm) nat {
15	rt := GetAbs(cur).Add()
16	return rt
17}