Module Builtins_memory

module Builtins_memory: sig .. end
Nothing is exported, all the builtins are registered through