Prog "Float" ["Prelude"] [] [Func ("Float","+.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_plus") [],Var 1],Var 2])),Func ("Float","prim_Float_plus") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (External "Float.prim_Float_plus"),Func ("Float","-.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_minus") [],Var 1],Var 2])),Func ("Float","prim_Float_minus") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (External "Float.prim_Float_minus"),Func ("Float","*.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_times") [],Var 1],Var 2])),Func ("Float","prim_Float_times") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (External "Float.prim_Float_times"),Func ("Float","/.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_divide") [],Var 1],Var 2])),Func ("Float","prim_Float_divide") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") []))) (External "Float.prim_Float_divide"),Func ("Float","<.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_lt") [],Var 1],Var 2])),Func ("Float","prim_Float_lt") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (External "Float.prim_Float_lt"),Func ("Float",">.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_gt") [],Var 1],Var 2])),Func ("Float","prim_Float_gt") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (External "Float.prim_Float_gt"),Func ("Float","<=.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_leq") [],Var 1],Var 2])),Func ("Float","prim_Float_leq") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (External "Float.prim_Float_leq"),Func ("Float",">=.") 2 Public (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (Rule [1,2] (Comb FuncCall ("Prelude","$#") [Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 2) ("Float","prim_Float_geq") [],Var 1],Var 2])),Func ("Float","prim_Float_geq") 2 Private (FuncType (TCons ("Prelude","Float") []) (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Bool") []))) (External "Float.prim_Float_geq"),Func ("Float","i2f") 1 Public (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_i2f") [],Var 1])),Func ("Float","prim_i2f") 1 Private (FuncType (TCons ("Prelude","Int") []) (TCons ("Prelude","Float") [])) (External "Float.prim_i2f"),Func ("Float","truncate") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Int") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_truncate") [],Var 1])),Func ("Float","prim_truncate") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Int") [])) (External "Float.prim_truncate"),Func ("Float","round") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Int") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_round") [],Var 1])),Func ("Float","prim_round") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Int") [])) (External "Float.prim_round"),Func ("Float","sqrt") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_sqrt") [],Var 1])),Func ("Float","prim_sqrt") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_sqrt"),Func ("Float","log") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_log") [],Var 1])),Func ("Float","prim_log") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_log"),Func ("Float","exp") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_exp") [],Var 1])),Func ("Float","prim_exp") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_exp"),Func ("Float","sin") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_sin") [],Var 1])),Func ("Float","prim_sin") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_sin"),Func ("Float","cos") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_cos") [],Var 1])),Func ("Float","prim_cos") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_cos"),Func ("Float","tan") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_tan") [],Var 1])),Func ("Float","prim_tan") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_tan"),Func ("Float","atan") 1 Public (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (Rule [1] (Comb FuncCall ("Prelude","$#") [Comb (FuncPartCall 1) ("Float","prim_atan") [],Var 1])),Func ("Float","prim_atan") 1 Private (FuncType (TCons ("Prelude","Float") []) (TCons ("Prelude","Float") [])) (External "Float.prim_atan")] [Op ("Float","*.") InfixlOp 7,Op ("Float","/.") InfixlOp 7,Op ("Float","+.") InfixlOp 6,Op ("Float","-.") InfixlOp 6,Op ("Float","<.") InfixOp 4,Op ("Float",">.") InfixOp 4,Op ("Float","<=.") InfixOp 4,Op ("Float",">=.") InfixOp 4]