Module CLogic.CSpec

type st = {
  1. pre : CAssert.t;
  2. posts : CAssert.t list;
  3. spec_annot : assert_annot option;
}
type t = {
  1. fname : string;
  2. params : string list;
  3. sspecs : st list;
}
val pp_sspec : Stdlib.Format.formatter -> st -> unit
val pp : Stdlib.Format.formatter -> t -> unit