module test {
scalar type State extending enum<'done', 'waiting', 'blocked'>;
type Counter {
required property name -> str {
constraint std::exclusive;
}
required property value -> int32 {
default := 0;
}
}
global str_val -> str;
global int_val -> int32;
type OtpPhoneRequest {
required phone: str;
required otp: int32;
required sent_at: datetime;
confirmed_at: datetime;
}
}