Module Traces_domain.Loops

module Loops: sig .. end

type t = Traces_domain.loops