val (+) : t @ local -> (t @ local -> t) @ localval (-) : t @ local -> (t @ local -> t) @ localval (*) : t @ local -> (t @ local -> t) @ localval (/) : t @ local -> (t @ local -> t) @ localval (~-) : t @ local -> tval (**) : t @ local -> (t @ local -> t) @ localval abs_local : t @ local -> t @ localval (%) : t @ local -> (t @ local -> t) @ localval (/%) : t @ local -> (t @ local -> t) @ localval (//) : t @ local -> (t @ local -> float) @ localval (land) : t @ local -> (t @ local -> t) @ localval (lor) : t @ local -> (t @ local -> t) @ localval (lxor) : t @ local -> (t @ local -> t) @ localval lnot : t @ local -> tval (lsl) : t @ local -> (int -> t) @ localval (asr) : t @ local -> (int -> t) @ local