initSidebarItems({"enum":[["ArgConstraint",""]],"struct":[["Prelude",""],["PreludeFunction","Stores preloaded function constraints. These are already checked."]]});