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