Module Branch_relaxation_intf

module type S = sig ... end