package sail

  1. Overview
  2. Docs
val find_properties : 'a Ast.defs -> (string * string * Ast.l * 'a Ast.val_spec) Ast_util.Bindings.t
type event =
  1. | Overflow
  2. | Assertion
  3. | Assumption
  4. | Match
  5. | Return
val string_of_event : event -> string
module Event : sig ... end
type query =
  1. | Q_all of event
  2. | Q_exist of event
  3. | Q_not of query
  4. | Q_and of query list
  5. | Q_or of query list
val default_query : query
type pragma = {
  1. query : query;
  2. litmus : string list;
}
val parse_pragma : Parse_ast.l -> string -> pragma
OCaml

Innovation. Community. Security.