PreviousUpNext

14.4.39  Issue_Unique_Id

The Issue_Unique_Id api defines the external interface to the issue_unique_id package.

The Issue_Unique_Id api is implemented by the issue_unique_id package.

The Issue_Unique_Id api source code is src/lib/src/issue-unique-id.api.

The above information is manually maintained and may contain errors.

api {
    Id;
    issue_unique_id : Void -> Id;
    id_to_int : Id -> Int;
    id_zero : Id;
    same_id : (Id , Id) -> Bool;};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext