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 (23)

Authors

  1. J
    Jasmin authors and contributors

Maintainers

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

Sources

jasmin-compiler-v2026.09.0.tar.bz2
sha256=11fec571efb9f7b3a47fea324b4e2a68289e0b73b2248d237eccf139b5218190

doc/jasmin.jasmin/Jasmin/Strings/index.html

Module Jasmin.Strings

type __ = Obj.t
val ascii_eqb : char -> char -> bool
val string_tag : string -> BinNums.positive
type box_string_EmptyString =
  1. | Box_string_EmptyString
type box_string_String = {
  1. coq_Box_string_String_0 : char;
  2. coq_Box_string_String_1 : string;
}
type string_fields_t = __
val string_fields : string -> string_fields_t
val string_eqb_fields : (string -> string -> bool) -> BinNums.positive -> string_fields_t -> string_fields_t -> bool
val string_eqb : string -> string -> bool
val string_eqb_OK : string -> string -> Datatypes.reflect
val coq_HB_unnamed_factory_9 : string Eqtype.Coq_hasDecEq.axioms_
val coq_String_string__canonical__eqtype_Equality : Eqtype.Equality.coq_type