package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

sha256=11fec571efb9f7b3a47fea324b4e2a68289e0b73b2248d237eccf139b5218190

Sourceexception TyError of Jasmin.Prog.L.i_loc * string

Sourceval ty_lval : Wsize.wsize -> Jasmin.Prog.L.i_loc -> Prog.lval -> Prog.ty

Sourceval ty_expr : Wsize.wsize -> Jasmin.Prog.L.i_loc -> Prog.expr -> Prog.ty

val error : 
  Jasmin.Prog.L.i_loc ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

val check_prog : 
  Wsize.wsize ->
  Wsize.wsize ->
  'asm Sopn.asmOp ->
  ('info, 'asm) Prog.prog ->
  unit

Sourceval type_of_expr : Prog.expr -> Prog.ty