Interface ForLoop

interface ForLoop {
    init?: Decl<any>;
    iter?: Term<any>;
    scope: Scope;
    tag: Tag;
    test: BoolTerm;
    type: "void";
}

Hierarchy (view full)

Properties

init?: Decl<any>
iter?: Term<any>
scope: Scope
tag: Tag
test: BoolTerm
type: "void"

Generated using TypeDoc