Module Jslogic.JSPred

module Pred = Jsil_syntax.Pred
type t = {
  1. name : string;
  2. num_params : int;
  3. params : (string * Type.t option) list;
  4. ins : int list;
  5. definitions : ((string * string list) option * JSAsrt.t) list;
  6. facts : Expr.t list;
  7. abstract : bool;
  8. pure : bool;
  9. nounfold : bool;
}