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,"conv_gen","","",0,null],[10,"inv","","",0,null],[8,"IdentityUtil","","",null,null],[16,"Inverse","","",1,null],[8,"Equals","","",null,null],[16,"IdentityWitness","","",2,null],[10,"identity_witness","","",2,{"inputs":[],"output":{"name":"identitywitness"}}],[8,"HasParam","","",null,null],[16,"SubstParam","","",3,null],[10,"conv_under","","",3,null],[11,"default","","",4,{"inputs":[],"output":{"name":"refl"}}],[11,"fmt","","",4,null]],"paths":[[8,"Identity"],[8,"IdentityUtil"],[8,"Equals"],[8,"HasParam"],[3,"Refl"]]};
initSearch(searchIndex);