@informalsystems/quint

Version:

Core tool for the Quint specification language

3 lines (2 loc) • 101 B

TypeScript

import { Signature } from './base'; export declare function getSignatures(): Map<string, Signature>;