Module Explain.ESource

Sourcetype hand_side =
  1. | Lhs of string
  2. | Rhs of string
Sourcetype t = {
  1. side : hand_side option;
  2. condition : bool;
}
Sourceval compare : t -> t -> int
Sourceval default : t