1 search result for "tag:"rocq""

Showing 1 - 1
  1. ktdeque

    No documentation

    Kaplan-Tarjan persistent real-time deque, with O(1) catenation
    data-structures deque persistent rocq kaplan-tarjan
    Yann Régis-Gianas
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository