logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . AllocCache

Simple Cache for Allocating Arrays

Be very careful not to use-after-free or double-free.

NOT THREAD SAFE

  • since 1.5
module Arr : sig ... end