Searched refs:Expand_SPARK_N_Freeze_Entity (Results 1 – 2 of 2) sorted by relevance
72 procedure Expand_SPARK_N_Freeze_Entity (N : Node_Id); subprogspec171 Expand_SPARK_N_Freeze_Entity (N);384 procedure Expand_SPARK_N_Freeze_Entity (N : Entity_Id) is subprogram549 end Expand_SPARK_N_Freeze_Entity;
319 * exp_spark.adb (Expand_SPARK_N_Freeze_Entity): Mimic what is