Types

types works as in a conventional realm (see types/) and synth writes it to types/<realm name>.yml. The generated .d.ts has one interface per type. A captured producer’s targetLabel and a proposal’s target.label are graph labels; declare the types they name here so a query and a person can find them. Goals resolve their input and output against the World’s types; synth warns about a goal type this realm does not declare (see goals).