{% macro row(name, o, class) -%} {# if o.requirement #} {{ name }} {% for c in o.precondition %}{{ c }}{% if not loop.last %}
{% endif %}{% endfor %} {% for c in o.semantics %}{{ c }}{% if not loop.last %}
{% endif %}{% endfor %} {% for c in o.postcondition %}{{ c }}{% if not loop.last %}
{% endif %}{% endfor %} {# endif #} {% endmacro %} {% macro header() -%} Expression Precondition Semantics Postcondition {%- endmacro %}