Class Ast.Forall

Enclosing class:
Ast

public static class Ast.Forall extends Ast.Query
Forall expression.