Preparing search index...

lib
ParsedPremiseSchema

Variable ParsedPremiseSchema`Const`

ParsedPremiseSchema: TObject<{ formula: TString; miniId: TString }> = ...

Defined in src/lib/parsing/schemata.ts:34

Settings

Member Visibility

Protected
Inherited
External

Theme

Loading...

Generated using TypeDoc