Ada中的可为空类型可以通过使用特殊的语法来定义。下面是一个示例代码：

with Ada.Text_IO;
use Ada.Text_IO;

procedure Nullable_Type_Example is
   type Nullable_Integer is
      record
         Value : Integer;
         Is_Null : Boolean;
      end record;

   -- 初始化一个可为空的整数
   Null_Int : Nullable_Integer := (Value => 0, Is_Null => True);

begin
   -- 设置一个非空的整数
   Null_Int.Value := 42;
   Null_Int.Is_Null := False;

   if Null_Int.Is_Null then
      Put_Line("Null_Int is null");
   else
      Put_Line("Null_Int value: " & Integer'Image(Null_Int.Value));
   end if;
end Nullable_Type_Example;

上述代码定义了一个名为Nullable_Integer的类型，它包含两个成员：Value表示整数的值，Is_Null表示是否为空。在主程序中，我们首先将Null_Int初始化为一个空的整数，然后设置其值为42，并将Is_Null标记为False。最后，我们根据Is_Null的值输出不同的消息。

请注意，上述代码仅仅是一个示例，实际使用中你可以根据具体需求定义更多的成员和操作。