Lines Matching defs:result_type
1974 val result_type = gen_tyvar();
1982 val result_var = next_var (foldr op--> result_type
2859 val result_type = with_exn (type_of o rhs o STRIP) sfunction exn1
2879 (body,new_args,detected_args,specced_limits,target,result_type,bottom)
2888 target,result_type,bottom) =
2895 (fn x => is_vartype x orelse x = target) bottom result_type)
2897 val right = mk_comb(gen_encode_function target result_type,conditional)
2922 ,target,result_type,bottom) =
2930 (fn x => is_vartype x orelse x = target) bottom result_type)
2932 val right = mk_comb(gen_encode_function target result_type,conditional)
2965 ,target,result_type,bottom) =
2973 (fn x => is_vartype x orelse x = target) bottom result_type)
2975 val right = mk_comb(gen_encode_function target result_type,conditional)