var searchIndex = {};
searchIndex["identity"] = {"doc":"","items":[[3,"Refl","identity","",null,null],[8,"Identity","","An identity type; that is, the type of “equality witnesses.”",null,null],[10,"conv","","",0,null],[10,"conv_ref","","",0,null],[10,"conv_mut","","",0,null],[10,"conv_box","","",0,null],[10,"inv","","",0,null],[8,"Equals","","",null,null],[16,"IdentityWitness","","",1,null],[10,"identity_witness","","",1,{"inputs":[],"output":{"name":"identitywitness"}}],[11,"default","","",2,{"inputs":[],"output":{"name":"refl"}}],[11,"fmt","","",2,null]],"paths":[[8,"Identity"],[8,"Equals"],[3,"Refl"]]};
initSearch(searchIndex);