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

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