Module Builtins_metal

val builtins : (string * string * string list) list