package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (18)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

  1. J
    Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2025.06.2.tar.bz2
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

doc/jasmin.jasmin/Jasmin/Ssrbool/index.html

Module Jasmin.Ssrbool

type __ = Obj.t
val addb : bool -> bool -> bool
val isSome : 'a1 option -> bool
val iffP : bool -> Bool.reflect -> Bool.reflect
val equivP : bool -> Bool.reflect -> Bool.reflect
type alt_spec =
  1. | AltTrue
  2. | AltFalse
val altP : bool -> Bool.reflect -> alt_spec
val boolP : bool -> alt_spec
val andP : bool -> bool -> Bool.reflect
val and3P : bool -> bool -> bool -> Bool.reflect
val and4P : bool -> bool -> bool -> bool -> Bool.reflect
type 't pred = 't -> bool
type 't predType = __ -> 't pred
type 't pred_sort = __
val predPredType : 'a1 predType
type 't simpl_pred = ('t, bool) Ssrfun.simpl_fun
val coq_SimplPred : 'a1 pred -> 'a1 simpl_pred
module PredOfSimpl : sig ... end
type 't rel = 't -> 't pred
type 't mem_pred = 't pred
val pred_of_mem : 'a1 mem_pred -> 'a1 pred_sort
val in_mem : 'a1 -> 'a1 mem_pred -> bool
val simpl_of_mem : 'a1 mem_pred -> 'a1 simpl_pred
val mem : 'a1 predType -> 'a1 pred_sort -> 'a1 mem_pred
type 't qualifier = 't pred_sort
val has_quality : Datatypes.nat -> 'a1 qualifier -> 'a1 pred_sort