Home
last modified time | relevance | path

Searched defs:expandAt (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/LHS/
H A DUnify.hs512 { expandAt :: Int function
/dports/science/shelxle/shelxle-1.0.1352/
H A Dmolecule.cpp8406 void Molecule::expandAt(int index){ in expandAt() function in Molecule