| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'content/fate_v1/extensions/_index.md')
| -rw-r--r-- | content/fate_v1/extensions/_index.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/content/fate_v1/extensions/_index.md b/content/fate_v1/extensions/_index.md new file mode 100644 index 0000000..e9a04ee --- /dev/null +++ b/content/fate_v1/extensions/_index.md @@ -0,0 +1,15 @@ +--- +title: Extensions +weight: 9 +--- + +{{< fatecode >}}(declare_extra_instruction {Identifier} [T0 = TYPE] ... [TN = TYPE]){{< /fatecode >}} +Declares an external instruction `{Identifier}` with parameters of type `[T0]` +... `[TN]`. + +{{< fatecode >}}(declare_extra_computation [R = TYPE] {Identifier} [T0 = TYPE] ... [TN = TYPE]){{< /fatecode >}} +Declares an external computation `{Identifier}` with parameters of type `[T0]` +... `[TN]` and returning a value of type `[R]`. + +{{< fatecode >}}(declare_extra_type {Identifier}){{< /fatecode >}} +Declares an external type. |