blob: e9a04ee6de56dcbd7c51eaeb966c3d88661ae1f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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.
|
