Searched refs:CForeign (Results 1 – 5 of 5) sorted by relevance
53 return $ CForeign region name annotation expected56 return $ CForeign region name annotation expected59 return $ CForeign region name annotation expected62 return $ CForeign region op annotation expected253 let opCon = CForeign region op annotation (NoExpectation binopType)
57 | CForeign A.Region Name.Name Can.Annotation (E.Expected Type) constructor
114 CForeign region name (Can.Forall freeVars srcType) expectation ->
2985 \ , "CForeign"