Documentation

isTermValue :: forall tyname name (uni :: Type -> Type) fun ann. Term tyname name uni fun ann -> Bool Source #