Module AltErgoLib.Sig

type 'a ac = {
  1. h : Symbols.t;
  2. t : Ty.t;
  3. l : ('a * int) list;
  4. distribute : bool;
}
type 'a solve_pb = {
  1. sbt : ('a * 'a) list;
  2. eqs : ('a * 'a) list;
}
module type SHOSTAK = sig ... end
module type X = sig ... end