drake (version 4.2.0)

default_cache_type: Function default_cache_type

Description

Name the default type of drake cache.

Usage

default_cache_type()

See Also

new_cache, get_cache, default_cache_type

Examples

# NOT RUN {
default_cache_type()
# }