WorldSEnder

// The two main components are the interfaces
// Generic<T, Context> and GenericArg<"identifier">

// Generic basically structurally replaces types in T that are GenericArg<S>
// for some `S extends keyof Context` with `Context[S]`
// See the test cases for specific uses.

// ====== TESTING
// Pass through for trivial types
type Test00 = Generic<number>;

WorldSEnder

#include <iostream>

class Foo {
    int bar = 0;
    int foobar = 999;
    static inline int zip;
public:
    void print() {
        std::cout << "Bar: " << bar << std::endl;
        std::cout << "Zip: " << zip << std::endl;

WorldSEnder

pkgname=carl
pkgdesc="An Open Source C++ Library for Computer Arithmetic and Logic"
url="https://github.com/smtrat/carl"
arch=("i686" "x86_64")
license=("mit")
depends=("gmp" "eigen3" "boost")
makedepends=("make" "cmake")
conflicts=()
replaces=()
backup=()

WorldSEnder

pkgname=HyPro
pkgdesc="A C++ state set representation library for the analysis of hybrid systems"
url="https://github.com/hypro/hypro"
arch=("i686" "x86_64")
license=("mit")
depends=("gmp" "boost" "glpk" "carl")
makedepends=("make" "cmake")
conflicts=()
replaces=()
backup=()