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
-