The standard library Finalize api defines access to a facility allowing computations to be triggered by garbage collection of designated storage chunks.
You may generate implementations of the Finalize api via finalize_g in src/lib/src/finalize-g.pkg.
The Finalize api source code is in src/lib/src/finalize.api.
See also: Finalized_Chunk.
The above information is manually maintained and may contain errors.
api { package chunk : api {
Chunk ;
Chunk_Info ;
finalize : Chunk_Info -> Void;
};;
register_chunk : (chunk::Chunk , chunk::Chunk_Info) -> Void;
get_dead : Void -> List(chunk::Chunk_Info );
finalize : Void -> Void;
};