solve/it.unibo.tuprolog.solve.library/plus

plus

operator fun <L : AliasedLibrary> L.plus(library: L): LibraryGroup<AliasedLibrary>
Content copied to clipboard

Creates a library group from this library aliased and the "added" one