Module AltErgoLib.Sig

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