Pretyping (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Pretyping)

Sourcetype tyerror

Sourceexception TyError of Location.t * tyerror

Sourceval pp_tyerror : Format.formatter -> tyerror -> unit

Sourcetype fun_sig = {

fs_tin : Prog.epty list;
fs_tout : Prog.epty list;

}

Sourcemodule Env : sig ... end

Sourceval tt_prim : 'op Sopn.asmOp -> Annotations.symbol Location.located -> 'op

Sourcetype ('a, 'b, 'c, 'd, 'e, 'f, 'g) arch_info = {

pd : Wsize.wsize;
asmOp : ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Sopn.sopn Sopn.asmOp;
known_implicits : (CoreIdent.Name.t * string) list;
flagnames : CoreIdent.Name.t list;

}

Source

val tt_item : 
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) arch_info ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env ->
  Syntax.pitem Location.located ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env

Source

val tt_param : 
  Wsize.wsize ->
  'asm Env.env ->
  'a ->
  Syntax.pparam ->
  'asm Env.env

Source

val tt_fundef : 
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) arch_info ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env ->
  Location.t ->
  Syntax.pfundef ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env

Source

val tt_global : 
  Wsize.wsize ->
  'asm Env.env ->
  'a ->
  Syntax.pglobal ->
  'asm Env.env

Source

val tt_fun : 
  'asm Env.env ->
  Annotations.symbol Location.located ->
  (unit, 'asm) Prog.pfunc * fun_sig

Source

val tt_program : 
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) arch_info ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env ->
  string ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env
  * (unit, ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op) Prog.pmod_item
      list
  * Syntax.pprogram

Source

val tt_file : 
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) arch_info ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env ->
  Annotations.pident option ->
  Location.t option ->
  string ->
  ('a, 'b, 'c, 'd, 'e, 'f, 'g) Arch_extra.extended_op Env.env * Syntax.pprogram