guidao/script_modules/@cosmic/bos-script/java/time/format.js

export const DateTimeFormatter = $.type("java.time.format.DateTimeFormatter");
export const DecimalStyle = $.type("java.time.format.DecimalStyle");
export const FormatStyle = $.type("java.time.format.FormatStyle");
export const ResolverStyle = $.type("java.time.format.ResolverStyle");
export const TextStyle = $.type("java.time.format.TextStyle");