Jsil_syntax.BiSpec
type t = {
name : string;
Procedure/spec name
*)params : string list;
Procedure/spec parameters
*)pre : Asrt.t;
Precondition
*)normalised : bool;
If the spec is already normalised
*)}
Single JSIL specifications.
type t_tbl = (string, t) Stdlib.Hashtbl.t
val init_tbl : unit -> t_tbl
val pp : Stdlib.Format.formatter -> t -> unit