let a : int = 0
let f (a:int) (b:int) : bool = (not (a=0)) && (b/a)*a=b                                                          
let print_bool (a:bool) : unit = if a then print_int 1 else print_int 0
let () = print_bool (f 2 6); print_bool (f 4 6); print_bool (f 2 0)         
