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