next up previous contents
Next: offset Up: depth Previous: depth   Contents

Format

    depth:[<number>|<var_name>];



Eugene Misnik 2013-05-08