MonadicSVal.Patternsval number : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval integer : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval int_typ : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval float_typ : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval single_typ : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval long_typ : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval undefined : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.tval obj : Gillian.Gil_syntax.Expr.t -> Gillian.Gil_syntax.Expr.t