Searched refs:Type_Logic (Results 1 – 11 of 11) sorted by relevance
69 Type_Logic, literal88 subtype Type_Nets is Type_Kind range Type_Bit .. Type_Logic;136 | Type_Logic =>
55 | Type_Logic =>123 | Type_Logic =>
46 | Type_Logic77 | Type_Logic =>193 subtype Logic_Type_Type is Type_Type (Type_Logic);196 return To_Type_Acc (Alloc (Current_Pool, (Kind => Type_Logic,588 | Type_Logic
408 | Type_Logic =>479 when Type_Logic =>
369 | Type_Logic
172 pragma Assert (Etype.Kind = Type_Logic);262 when Type_Logic =>298 when Type_Logic =>781 when Type_Logic =>782 pragma Assert (Vtype.Kind = Type_Logic);
416 | Type_Logic =>
84 pragma Assert (Op.Typ.Kind = Type_Logic);
831 when Type_Logic =>1369 | Type_Logic
748 | Type_Logic
119 if Expr.Typ.Kind = Type_Logic then