let fun_equal (a:global) (b:global) = match a with GFun (af,_) -> begin match b with GFun (bf,_) -> (af == bf) | _ -> false end | _ -> false