package msat

  1. Overview
  2. Docs
type (!'form, !'proof) slice = {
  1. start : int;
  2. length : int;
  3. get : int -> 'form;
  4. push : 'form list -> 'proof -> unit;
}
module type S = sig ... end