/* This file was auto-generated by KreMLin! */ #ifndef __Prims_H #define __Prims_H #include "kremlib.h" #include "DafnyLib.h" #endif