package body Libsens.Virtual is function Is_Formed(True_Table : True_Table_Type; Category_Index : Category_Index_Type; Prev : Break_Type := Null_Break; Next : Break_Type := Null_Break) return Boolean is begin return True_Table(Category_Index, Prev, Next); end Is_Formed; end Libsens.Virtual;