Module type Infsys.LEVEL

module type LEVEL = sig  end

Specification of tracer for inference system.

type t

val level : Trace.level

val eq : t -> t -> bool

Parameters:

?	:	`t`
?	:	`t`

val diff : t -> t -> t

Parameters:

?	:	`t`
?	:	`t`

val pp : t Pretty.printer