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/Syntax/SPrinter/index.html

Module Syntax.SPrinterSource

Sourcemodule F = Format
Sourceval pp_var : F.formatter -> string L.located -> unit
Sourceval pp_opt : ('a -> 'b -> unit) -> 'a -> 'b option -> unit
Sourceval sharp : F.formatter -> unit -> unit
Sourceval pp_aligned : F.formatter -> [< `Aligned | `Unaligned ] option -> unit
Sourcetype prio =
  1. | Pmin
  2. | Pternary
  3. | Por
  4. | Pand
  5. | Pbwor
  6. | Pbwxor
  7. | Pbwand
  8. | Pcmpeq
  9. | Pcmp
  10. | Pshift
  11. | Padd
  12. | Pmul
  13. | Punary
  14. | Pbang
Sourceval prio_of_op1 : [< `Cast of 'a | `Neg of 'b | `Not of 'c ] -> prio
Sourceval prio_of_op2 : [< `Add of 'a | `And | `BAnd of 'b | `BOr of 'c | `BXOr of 'd | `Div of 'e | `Eq of 'f | `Ge of 'g | `Gt of 'h | `Le of 'i | `Lt of 'j | `Mod of 'k | `Mul of 'l | `Neq of 'm | `Or | `ROL of 'n | `ROR of 'o | `ShL of 'p | `ShR of 'q | `Sub of 'r ] -> prio
Sourceval optparent : F.formatter -> 'a -> 'a -> string -> unit
Sourceval pp_svsize : Format.formatter -> (vsize * sign * vesize) -> unit
Sourceval pp_op2 : Format.formatter -> peop2 -> unit
Sourceval pp_ws : F.formatter -> (Annotations.wsize * [< `WInt of sign | `Word of sign option ]) -> unit
Sourceval pp_space : F.formatter -> 'a -> unit
Sourceval pp_expr_rec : prio -> F.formatter -> pexpr_r L.located -> unit
Sourceval pp_mem_access : F.formatter -> mem_access -> unit
Sourceval pp_expr : pexpr Utils.pp
Sourceval pp_arr_access : F.formatter -> [ `Aligned | `Unaligned ] option -> arr_access -> swsize L.located option -> Annotations.pident -> pexpr -> pexpr option -> unit