OpamStateConfig.Switchval safe_load_t :
lock_kind:'a OpamStateTypes.lock ->
OpamTypes.dirname ->
OpamTypes.switch ->
OpamFile.Switch_config.tval safe_load :
lock_kind:'a OpamStateTypes.lock ->
'b OpamStateTypes.global_state ->
OpamTypes.switch ->
OpamFile.Switch_config.tval safe_read_selections :
lock_kind:'a OpamStateTypes.lock ->
'b OpamStateTypes.global_state ->
OpamTypes.switch ->
OpamTypes.switch_selectionsval read_opt :
lock_kind:'a OpamStateTypes.lock ->
'b OpamStateTypes.global_state ->
OpamTypes.switch ->
OpamFile.Switch_config.t option