From 2ef579d1aa62501d59957783665f997e3c6f475b Mon Sep 17 00:00:00 2001 From: Marc Weber Date: Thu, 5 Feb 2009 19:35:44 +0000 Subject: [PATCH] documentation for previous commit --- doc/manual/builtins.xml | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/doc/manual/builtins.xml b/doc/manual/builtins.xml index c8470f4986..1f881a9117 100644 --- a/doc/manual/builtins.xml +++ b/doc/manual/builtins.xml @@ -364,6 +364,36 @@ x: x + 456 + builtins.isString + e + + Return true if + e evaluates to a string, and + false otherwise. + + + + + builtins.isInt + e + + Return true if + e evaluates to a int, and + false otherwise. + + + + + builtins.isBool + e + + Return true if + e evaluates to a bool, and + false otherwise. + + + + isNull e