PreviousUpNext

15.4.726  src/lib/core/init/print-hook.pkg

#  (C) 1999 Lucent Technologies, Bell Laboratories 

# Compiled by:
#     src/lib/core/init/init.cmi

package print_hook {

    stipulate
        # To have something to initialize print_hook with:
        #
        fun discard (s: base_types::String) = ();

    herein
        print_hook = base_types::REF discard;           # Very crude.

        fun print s
            =
            (inline_t::deref) print_hook s;
    end;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext