package ortac-qcheck-stm

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Cfg = Config
val constant_test : Gospel.Tast.val_description -> unit Reserr.reserr
val no_functional_arg_or_returned_tuple : Gospel.Tast.val_description -> unit Reserr.reserr
val is_a_function : Ppxlib.core_type -> bool
val unify : [< `Type of Gospel.Tast.type_declaration | `Value of string ] -> Astlib.Ast_414.Parsetree.core_type -> Ppxlib.core_type -> (string * Ppxlib.core_type) list Reserr.reserr
val ty_var_substitution : Cfg.t -> Gospel.Tast.val_description -> (string * Ppxlib.core_type) list Reserr.reserr
val get_state_description_with_index : (Gospel.Symbols.vsymbol -> bool) -> (Gospel.Tterm.Ident.t * 'a) list -> Gospel.Tast.val_spec -> (int * Ir.new_state_formulae) list
val sig_item : Cfg.t -> string -> (Gospel.Tterm.Ident.t * 'a) list -> Gospel.Tast.signature_item -> Ir.value Reserr.reserr option
val init_state : Cfg.t -> (Gospel.Symbols.Ident.t * 'a) list -> Gospel.Tast.signature_item list -> (string * Ir.init_state) Reserr.reserr
val signature : Cfg.t -> string -> (Gospel.Tterm.Ident.t * 'a) list -> Gospel.Tast.signature_item list -> Ir.value list Reserr.reserr
val ghost_functions : Gospel.Tast.signature_item list -> Gospel.Tast.function_ list
OCaml

Innovation. Community. Security.