Agda.TypeChecking.SizedTypes.Utils

debug

setDebugging

trace

traceM

class Top a

class Plus a b c

class MeetSemiLattice a

class Dioid a