+-- A function that generates VHDL for a builtin function
+type BuiltinBuilder =
+ CoreSyn.CoreBndr -- ^ The destination value
+ -> CoreSyn.CoreBndr -- ^ The function called
+ -> [CoreSyn.CoreExpr] -- ^ The value arguments passed (excluding type and
+ -- dictionary arguments).
+ -> VHDLSession [AST.ConcSm] -- ^ The resulting concurrent statements.