thebe-coreInterface: BinderOptionsContent License: Creative Commons Zero v1.0 Universal (CC0-1.0)CC0: Work is in the worldwide public domainthebe-core / Exports / BinderOptions#Table of contents#PropertiesbinderUrlrefreporepoProvider#Properties#binderUrl• Optional binderUrl: string#Defined inpackages/core/src/types.ts:60#ref• Optional ref: string#Defined inpackages/core/src/types.ts:59#repo• Optional repo: string#Defined inpackages/core/src/types.ts:58#repoProvider• Optional repoProvider: RepoProvider#Defined inpackages/core/src/types.ts:61EnumsEnumeration: ThebeEventTypeInterfacesInterface: CodeBlock