@cylynx/verifyml-types (npm): Typescript definition for VerifyML application or library
Keywords: VerifyML|Cylynx