get_build_options

Returns a copy of the options of workspace w; the default is the workspace running the code. Change the copy and hand it back with set_build_options.

get_build_options :: (w: Workspace = -1) -> Build_Options