Module Transform

module Transform: sig .. end

module BoolInfo: sig .. end
module Info: Filter.F(BoolInfo)