package alt-ergo-lib

  1. Overview
  2. Docs
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
OCaml

Innovation. Community. Security.