Module("term/real",[Strategies([SDefNoArgs("is-real",Seq(Match(Var("x")),Prim("\"SSL_is_real\"",[Var("x")]))),SDefNoArgs("cos",Seq(Match(Var("x")),Prim("\"SSL_cos\"",[Var("x")]))),SDefNoArgs("sin",Seq(Match(Var("x")),Prim("\"SSL_sin\"",[Var("x")]))),SDefNoArgs("sqrt",Seq(Match(Var("x")),Prim("\"SSL_sqrt\"",[Var("x")]))),SDefNoArgs("atan2",Seq(Match(NoAnnoList(Tuple([Var("x"),Var("y")]))),Prim("\"SSL_atan2\"",[Var("x"),Var("y")]))),SDefNoArgs("real-to-string",Seq(Match(Var("x")),Prim("\"SSL_real_to_string\"",[Var("x")]))),SDefT("real-to-string",[],[DefaultVarDec("prec")],Seq(Match(Var("x")),Prim("\"SSL_real_to_string_precision\"",[Var("x"),Var("prec")]))),SDefNoArgs("string-to-real",Seq(Match(Var("x")),Prim("\"SSL_string_to_real\"",[Var("x")]))),SDefNoArgs("real",Seq(Match(Var("x")),Prim("\"SSL_real\"",[Var("x")])))])])
