drake (version 6.2.1)

make_session: Internal function to be called by make_with_config()

Description

For internal use only. Not for the API.

Usage

make_session(config)

Arguments

config

An input internal configuration list