Searched defs:linePrewritten (Results 1 – 3 of 3) sorted by relevance
86 linePrewritten p s1 s2 = Wizard $ lift $ inject (LinePrewritten p s1 s2 Pure) function