CREATE MIGRATION m17at265bea5qijan5gj7m7iloworwh6jjjhc76454zus24supt5pa
    ONTO m1jr6zfrtfdqlhsqlrbtfycstnqth7g62qfo67vhisccw76jsq2wmq
{
  ALTER TYPE default::Key {
      CREATE REQUIRED PROPERTY company: std::str {
          SET REQUIRED USING (<std::str>{});
      };
      ALTER PROPERTY date {
          SET REQUIRED USING (<std::datetime>{});
      };
      ALTER PROPERTY key {
          SET REQUIRED USING (<std::str>{});
      };
      ALTER PROPERTY name {
          SET REQUIRED USING (<std::str>{});
      };
  };
  ALTER TYPE default::Message {
      ALTER PROPERTY content {
          SET REQUIRED USING (<std::str>{});
      };
      ALTER PROPERTY date {
          SET REQUIRED USING (<std::datetime>{});
      };
      ALTER PROPERTY model_id {
          SET REQUIRED USING (<std::str>{});
      };
      ALTER PROPERTY role {
          SET REQUIRED USING (<std::str>{});
      };
  };
  ALTER TYPE default::Usage {
      ALTER PROPERTY date {
          SET REQUIRED USING (<std::datetime>{});
      };
      ALTER PROPERTY model_id {
          SET REQUIRED USING (<std::str>{});
      };
  };
};