synth: create abstractions for Pval (from synth-insts to synth-decls)

1 files changed, 7 insertions, 0 deletions

diff --git a/src/synth/synth-decls.ads b/src/synth/synth-decls.ads
index 9aae21e2a..d0b47e3fc 100644
--- a/src/synth/synth-decls.ads
+++ b/src/synth/synth-decls.ads
@@ -20,10 +20,17 @@
 
 with Vhdl.Nodes; use Vhdl.Nodes;
 
+with Netlists; use Netlists;
 with Synth.Context; use Synth.Context;
 with Synth.Objtypes; use Synth.Objtypes;
 
 package Synth.Decls is
+   --  Return the Param_Type for ATYPE.
+   function Type_To_Param_Type (Atype : Node) return Param_Type;
+
+   --  Convert MT to a Pval.
+   function Memtyp_To_Pval (Mt : Memtyp) return Pval;
+
    --  Get the type of DECL iff it is standalone (not an already existing
    --  subtype).
    function Get_Declaration_Type (Decl : Node) return Node;