. shell-config

# Defines a value in the value table
# args: name value
def_val()
{
    shell_config_set "$CATERVA_VALTABLE" "$1" "$2"
}

# Reads a value from the value table
# args: name
read_val()
{
    shell_config_get "$CATERVA_VALTABLE" "$1"
}
