import interface Named;
external atom Person id "atom:person";

package TodoRuntime id "package:todo-runtime" revision "package:todo-runtime@1" {
  operation summaryGet id "export:todo-runtime:summary-get" : unit -> string
    mode call receiver interfaces [Named] requires {
      state title id "port:summary:title" : string [read];
      interface named id "port:summary:named" : Named;
      constructor person id "port:summary:person" : Person;
    };
  constructor createPerson id "export:todo-runtime:create-person" constructs Person : unit;
}