Library Hammer.Hammer

Require Hammer.Reconstr.
Declare ML Module "hammer_plugin".