package libsail

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libsail.Sail2_promptSource

Sourceval iter_aux : Nat_big_num.num -> (Nat_big_num.num -> 'a -> ('rv, unit, 'e) Sail2_prompt_monad.monad) -> 'a list -> ('rv, unit, 'e) Sail2_prompt_monad.monad
Sourceval iteri : (Nat_big_num.num -> 'a -> ('rv, unit, 'e) Sail2_prompt_monad.monad) -> 'a list -> ('rv, unit, 'e) Sail2_prompt_monad.monad
Sourceval iter : ('a -> ('rv, unit, 'e) Sail2_prompt_monad.monad) -> 'a list -> ('rv, unit, 'e) Sail2_prompt_monad.monad
Sourceval foreachM : 'a list -> 'vars -> ('a -> 'vars -> ('rv, 'vars, 'e) Sail2_prompt_monad.monad) -> ('rv, 'vars, 'e) Sail2_prompt_monad.monad
Sourceval foreachE : 'a list -> 'vars -> ('a -> 'vars -> ('e, 'vars) Either.either) -> ('e, 'vars) Either.either
Sourceval genlistM : (Nat_num.nat -> ('rv, 'a, 'e) Sail2_prompt_monad.monad) -> Nat_num.nat -> ('rv, 'a list, 'e) Sail2_prompt_monad.monad
Sourceval and_boolM : ('rv, bool, 'e) Sail2_prompt_monad.monad -> ('rv, bool, 'e) Sail2_prompt_monad.monad -> ('rv, bool, 'e) Sail2_prompt_monad.monad
Sourceval or_boolM : ('rv, bool, 'e) Sail2_prompt_monad.monad -> ('rv, bool, 'e) Sail2_prompt_monad.monad -> ('rv, bool, 'e) Sail2_prompt_monad.monad
Sourceval bool_of_bitU_fail : Sail2_values.bitU -> ('rv, bool, 'e) Sail2_prompt_monad.monad
Sourceval bool_of_bitU_nondet : 'rv Sail2_values.register_Value_class -> Sail2_values.bitU -> ('rv, bool, 'e) Sail2_prompt_monad.monad
Sourceval bools_of_bits_nondet : 'rv Sail2_values.register_Value_class -> Sail2_values.bitU list -> ('rv, bool list, 'e) Sail2_prompt_monad.monad
Sourceval mword_nondet : 'a Lem_pervasives_extra.size_class -> 'rv Sail2_values.register_Value_class -> unit -> ('rv, Lem.mword, 'e) Sail2_prompt_monad.monad
Sourceval whileM : 'vars -> ('vars -> ('rv, bool, 'e) Sail2_prompt_monad.monad) -> ('vars -> ('rv, 'vars, 'e) Sail2_prompt_monad.monad) -> ('rv, 'vars, 'e) Sail2_prompt_monad.monad
Sourceval untilM : 'vars -> ('vars -> ('rv, bool, 'e) Sail2_prompt_monad.monad) -> ('vars -> ('rv, 'vars, 'e) Sail2_prompt_monad.monad) -> ('rv, 'vars, 'e) Sail2_prompt_monad.monad
Sourceval choose_bools : 'rv Sail2_values.register_Value_class -> string -> Nat_num.nat -> ('rv, bool list, 'e) Sail2_prompt_monad.monad
Sourceval choose_bitvector : 'a Sail2_values.bitvector_class -> 'rv Sail2_values.register_Value_class -> string -> Nat_num.nat -> ('rv, 'a, 'e) Sail2_prompt_monad.monad
Sourceval choose_from_list : 'rv Sail2_values.register_Value_class -> string -> 'a list -> ('rv, 'a, 'e) Sail2_prompt_monad.monad
Sourceval choose_int_in_range : 'rv Sail2_values.register_Value_class -> string -> Nat_big_num.num -> Nat_big_num.num -> ('rv, Nat_big_num.num, 'e) Sail2_prompt_monad.monad
Sourceval choose_nat : 'rv Sail2_values.register_Value_class -> string -> ('rv, Nat_big_num.num, 'e) Sail2_prompt_monad.monad
Sourceval internal_pick : 'rv Sail2_values.register_Value_class -> 'a list -> ('rv, 'a, 'e) Sail2_prompt_monad.monad
OCaml

Innovation. Community. Security.