sig type t = Traces_domain.loops end