module SIF::Representation::Infra