public class AmbStore
extends Amb
| Modifier and Type | Field and Description |
|---|---|
Amb |
expr |
| Constructor and Description |
|---|
AmbStore(Amb expr,
Grm parser,
Position pos) |
| Modifier and Type | Method and Description |
|---|---|
Expr |
toExpr() |
Expr |
wrap() |
public AmbStore(Amb expr,
Grm parser,
Position pos)
parser - pos -