13 lines
551 B
Plaintext
13 lines
551 B
Plaintext
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;
|
|
}
|