herdtools7.asllib
ASTUtils.Infix
Infix utils.
val (~$) : int -> AST.literal
~$i is an integer literal that contains i.
~$i
i
val (!$) : int -> AST.expr
An alias for expr_of_int.
expr_of_int