Language.Syntactic.Sharing.SimpleCodeMotion

data PrjDict dom

data InjDict dom a b

type MkInjDict dom

codeMotion

prjDictFO

reifySmart

mkInjDictFO