diff options
Diffstat (limited to 'src/synth/synth-values.ads')
| -rw-r--r-- | src/synth/synth-values.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-values.ads b/src/synth/synth-values.ads index e8f20d9f8..d3af338ab 100644 --- a/src/synth/synth-values.ads +++ b/src/synth/synth-values.ads @@ -240,6 +240,9 @@ package Synth.Values is function Is_Bounded_Type (Typ : Type_Acc) return Boolean; + function Is_Const (Val : Value_Acc) return Boolean; + function Is_Float (Val : Value_Acc) return Boolean; + function Is_Equal (L, R : Value_Acc) return Boolean; -- Create a Value_Net. |