Closed this issue 2 years ago · 1 comments
import * as ACL from 'acl2';
npm install acl2 has successfully finished but I can't import the module. Every examples in repository are written in ES5 grammar. How can I use it in TypeScript ES6?
npm install acl2
TypeScript usage:
var ACL: any = require("acl2");
Tell me how it goes.