generic
package Packrat.Parsers.Debug is


    type Result_Part is private;
    type Result_Part_Array is array (Positive range <>) of Result_Part;

    type Curtail_Map is private;




    Empty_Context : constant Parser_Context;
    Empty_Fail : constant Combinator_Result;




    function Parts
           (This : in Combinator_Result)
        return Result_Part_Array;

    function Curtails
           (This : in Combinator_Result)
        return Curtail_Map;

    function Status
           (This : in Combinator_Result)
        return Result_Status;




    function Finish
           (Part : in Result_Part)
        return Traits.Tokens.Finish_Type;

    function Value
           (Part : in Result_Part)
        return Traits.Element_Array;

    function Tokens
           (Part : in Result_Part)
        return Traits.Tokens.Finished_Token_Array;




    function Is_Empty
           (Curt : in Curtail_Map)
        return Boolean;




    function Debug_String
           (This : in Combinator_Result)
        return String;


private


    type Result_Part is new Combo_Result_Part;
    type Curtail_Map is new Curtail_Maps.Map with null record;


    Empty_Context : constant Parser_Context := Packrat.Parsers.Empty_Context;
    Empty_Fail : constant Combinator_Result := Packrat.Parsers.Empty_Fail;


end Packrat.Parsers.Debug;