diff options
Diffstat (limited to 'src/synth/synth-values.ads')
| -rw-r--r-- | src/synth/synth-values.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-values.ads b/src/synth/synth-values.ads index 9d2026270..e8f20d9f8 100644 --- a/src/synth/synth-values.ads +++ b/src/synth/synth-values.ads @@ -238,6 +238,8 @@ package Synth.Values is -- Return the element of a vector/array/unbounded_array. function Get_Array_Element (Arr_Type : Type_Acc) return Type_Acc; + function Is_Bounded_Type (Typ : Type_Acc) return Boolean; + function Is_Equal (L, R : Value_Acc) return Boolean; -- Create a Value_Net. |