Make some auxiliary definitions private#32

WhatisRT merged 1 commit intoagda:masteragda/agda-stdlib-meta:masterfrom

carlostome:carlos/make-defs-privatecarlostome/agda-stdlib-meta:carlos/make-defs-privateCopy head branch name to clipboard