@runtimeverificationinc/tsk

Version:

TypeScript/JavaScript library for K Framework functionality

3 lines (2 loc) • 136 B

TypeScript

export { CSubst, CTerm, ctermBuildClaim, ctermBuildRule } from "./cterm"; export { createIterativeCTermShow, CTermShow } from "./show";