Searched refs:closify (Results 1 – 5 of 5) sorted by relevance
225 sctx = (Id "h", closify htyp) : map (\x -> (NoId, closify x)) modargs226 ntt = closify (NotM $ App Nothing (NotM OKVal) (Const ee) (NotM ALNil))261 …e, mylocalVars) isdep = tcSearchSC isdep (map (\x -> (NoId, closify x)) mylocalVars) (closify myty…263 … foldl (\x (ineq, e, i) -> mpret $ And Nothing x (comp' ineq (closify e) (closify i)))
342 closify :: MExp o -> CExp o343 closify e = TrBr [e] (Clos [] e) function
28 … return (closify (cdtype cdef), \x -> mpret $ And (Just [Term args]) (noiotastep_term c args) x)49 (tcExp True ctx (closify (NotM $ Sort s)) it)50 (tcExp isdep ((id, closify it) : ctx) (closify (NotM $ Sort s)) ot)171 …tcargs (cddeffreevars projd) isdep ctx (closify $ cdtype projd) preas (NotM $ App Nothing (NotM OK…
75 ) $ tcSearch False (map (fmap closify) (drophid ctx))76 (closify tt) trm
14187 closify-maestro-image-uploader-gallery-builder