onecore
Toggle table of contents
release
Target filter
release
Switch theme
Search in API
Skip to content
onecore
onecore
/
ch.procivis.one.core
/
ProofInputSchema
/
formats
formats
var
formats
:
List
<
String
>
Formatter provider names saved for this proof input.