val error_prefix : Base.stringval bf16_typ : Base.stringval fp8_typ : Base.stringval builtins : (Base.string * Base.string * Base.string Base.list) Base.listval bf16_arithmetic_intrinsics : Base.boolval bf16_relu : Base.string * Base.stringval tanh_approx : Base.stringval fp8_from_float_fn : Base.string