env.size: Title env.size

Description Usage Arguments

Description

Get the size of an environment by typing in its name as as string.

Usage

1
env.size(env)

Arguments

env

- The name of the environment, as a string.


christiantillich/AnaliTools documentation built on May 13, 2019, 6:59 p.m.