Patch title: Release 93 bulk changes
Abstract:
File: /appli/database/pointer.pli
Key:
    Removed line
    Added line
   
abstract
  [This module will define the 'Data' and 'Database' generic


    constant interface_arrow (cast (addressof data_interface
abstract
  [This module will define the 'Data' and 'Database' generic


    constant interface_arrow (cast (addressof data_interface
    function build  db
    function build db
      arg_w Database db
      db:file:root_interface :> interface_arrow omap DataInt
      arg_w Database db
      db:file:root_interface :> interface_arrow omap DataInt
    function destroy db # Must be defined, else (function destroy DatabaseFile) will be inherited, so called twice
      arg_w Database db


export ':>' ':=' '' '. size' '. create' '. delete' keyof pat
export '. pmap' data_reset data_copy
export each


export ':>' ':=' '' '. size' '. create' '. delete' keyof pat
export '. pmap' data_reset data_copy
export each