The B^𝜶 Language

Instructions

1. Write a B^𝜶 program in the text area at the top.
2. Click the Monomorphize button.
3. Expect a B program (which also is a C program) in the text area at the bottom.

If you see a diagnostic message in the text area at the bottom, it could be that the input program is incorrect; please review it, while keeping in mind that:
    - B^𝜶 is not a superset of C;
    - a function instantiation request is not fulfilled if the types involved in this request are not unifiable.
Otherwise, please report an issue.

Examples