Typing (p.jasmin.2025.06.1.doc.jasmin.jasmin.Jasmin.Typing)

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