proposit-core
    Preparing search index...

    Variable FormulaPremiseRoleHintSchemaConst

    FormulaPremiseRoleHintSchema: TUnion<
        [TLiteral<"freeform">, TLiteral<"conclusion">],
    > = ...