"use strict";
window.SIDEBAR_ITEMS = { "trait": ["AddMod", "ArrayDecoding", "ArrayEncoding", "CheckedAdd", "CheckedMul", "CheckedSub", "Concat", "Encoding", "Integer", "MulMod", "NegMod", "Random", "RandomMod", "Split", "SubMod", "Zero"] };
