Cobol_lsp.Platform
val record : Cobol_common.Platform.TYPES.platform
Note: fields of this record are further initialized when entering `Lsp_server_loop.run`