package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Module `Jasmin.Typing`Source

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