Nix.Var
Contents
Methods
geq :: forall (a :: k) (b :: k). IORef a -> IORef b -> Maybe (a :~: b) #
geq :: forall (a :: k) (b :: k). STRef s a -> STRef s b -> Maybe (a :~: b) #