NFA data type library