#ifndef SHED_INTS_H
#define SHED_INTS_H

#include "./primitives.h"

ShedObject shed__runtime__int_create(PatioInt value);
PatioInt shed__runtime__int_value(ShedObject object);

#endif