Agda.TypeChecking.SizedTypes.Utils

debug

trace

traceM

class Top a

class Plus a b c

class MeetSemiLattice a

class Dioid a