type t = {
x : int ; [@@bs.as "yy"]
}
Design question, if we do this in very early stage, then we can not write {x = 3}
If we delay this until code generation, how can we guarantee that it is consistent between ml and mli -- seems more check need there