<?xml version="1.0" encoding="US-ASCII"?>
<?xml-stylesheet type="text/xsl" href="../../Schema.xsl"?>

<list>
<doc schema="http://web-calculus.org/schema/Schema">
    <id>http://web-calculus.org/ref/Declaration</id>

    Each input parameter.
    <child>
        <name>in</name>
        <arity schema="http://web-calculus.org/schema/arity/Many"/>
        <expected schema="http://web-calculus.org/schema/parameter/Immutable">
            <category>http://web-calculus.org/schema/parameter/</category>
        </expected>
    </child>

    The return parameter.
    <child>
        <name>out</name>
        <arity schema="http://web-calculus.org/schema/arity/Once"/>
        <expected schema="http://web-calculus.org/schema/parameter/Immutable">
            <category>http://web-calculus.org/schema/parameter/</category>
        </expected>
    </child>

    Each error type.
    <child>
        <name>error</name>
        <arity schema="http://web-calculus.org/schema/arity/Many"/>
        <expected schema="http://web-calculus.org/schema/parameter/Immutable">
            <category>http://web-calculus.org/string/String</category>
        </expected>
    </child>

    Metadata about a closure.
</doc>
</list>
