8namespace plug::direct {
43#define MIM_direct_NORMALIZER_IMPL \
44 void register_normalizers(Normalizers& normalizers) {\
45 normalizers[flags_t(Annex::Base<cps2ds>)] = &normalize_cps2ds; \
60template<>
struct Axiom::Match<plug::direct::ds2cps_pass> {
using type =
Axiom; };
61template<>
struct Axiom::Match<plug::direct::cps2ds_pass> {
using type =
Axiom; };
Helper class to retrieve Infer::arg if present.
void register_normalizers(Normalizers &normalizers)
static constexpr plugin_t Plugin_Id
Ref normalize_cps2ds(Ref, Ref, Ref fun)
cps2ds is directly converted to op_cps2ds_dep f in its normalizer.
absl::flat_hash_map< flags_t, NormalizeFn > Normalizers
static constexpr size_t Num
static constexpr flags_t Base