diff options
Diffstat (limited to 'src/synth/synth-decls.ads')
| -rw-r--r-- | src/synth/synth-decls.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-decls.ads b/src/synth/synth-decls.ads index 68b7fea08..9aae21e2a 100644 --- a/src/synth/synth-decls.ads +++ b/src/synth/synth-decls.ads @@ -28,6 +28,9 @@ package Synth.Decls is -- subtype). function Get_Declaration_Type (Decl : Node) return Node; + -- True if the element subtype indication of ATYPE needs to be created. + function Has_Element_Subtype_Indication (Atype : Node) return Boolean; + function Synth_Array_Subtype_Indication (Syn_Inst : Synth_Instance_Acc; Atype : Node) return Type_Acc; |