ServerOptions¶ [Source] server options provided via Initialize request class val ServerOptions Constructors¶ from_json¶ [Source] new val from_json( json: JsonObject val) : ServerOptions val^ Parameters¶ json: JsonObject val Returns¶ ServerOptions val^ default¶ [Source] new val default() : ServerOptions val^ Returns¶ ServerOptions val^ Public fields¶ let pony_path: (Array[String val] val | None val)¶ [Source]