How can I import in Typescript ES6?

[hwooo]

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?

[koresar]

TypeScript usage:

var ACL: any = require("acl2");

Tell me how it goes.