module Make (T : Branch_relaxation_intf.S) : sig ... end