Lines Matching defs:library
6 This library is free software; you can redistribute it and/or
10 This library is distributed in the hope that it will be useful,
16 License along with this library; if not, write to the Free Software
158 type library
160 val loadLibrary: string -> library
161 val loadExecutable: unit -> library
162 val getSymbol: library -> string -> symbol
635 type library = unit -> Memory.voidStar
638 (* Load the library but memoise it so if we reference the library in another
639 session we will reload it. We load the library immediately so that if
641 fun loadLibrary (name: string): library = Memory.memoise System.loadLibrary name
642 and loadExecutable (): library = Memory.memoise System.loadExecutable ()
644 (* To get a symbol we memoise a function that forces a library load if necessary
646 fun getSymbol(lib: library) (name: string): symbol =