Core.DimProbe
include Basis.Symbol.S
type t
val compare : t -> t -> int
val equal : t -> t -> bool
val pp : t Basis.Pp.printer
val show : t -> string
val serialize : t -> Basis.Symbol.J.value
val deserialize : Basis.Symbol.J.value -> t
val fresh : unit -> t