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=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb

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

Sourceval check_length : Jasmin.Prog.L.i_loc -> int -> unit

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 ->
  'asm Sopn.asmOp ->
  ('info, 'asm) Prog.prog ->
  unit