sig
type
t =
Traces_domain
.loops
end