Searched refs:Discriminants_Record (Results 1 – 2 of 2) sorted by relevance
17 type Discriminants_Record (A : Integer; B : Boolean) is record type22 Z : Discriminants_Record := (A => 1, B => False, C => 2.0);
35 type Discriminants_Record (A : Integer; B : Boolean) is record type38 Z : Discriminants_Record := (A => 1, B => False, C => 2.0);