Pretyping (p.jasmin.2026.09.0.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 : 'asm Sopn.asmOp -> Annotations.symbol Location.located -> 'asm

Source

val tt_item : 
  'asm Prog.arch_info ->
  'asm Env.env ->
  Syntax.pitem Location.located ->
  'asm Env.env

Source

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

Source

val tt_fundef : 
  'asm Prog.arch_info ->
  'asm Env.env ->
  Location.t ->
  Syntax.pfundef ->
  'asm 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 : 
  'asm Prog.arch_info ->
  'asm Env.env ->
  string ->
  'asm Env.env * (unit, 'asm) Prog.pmod_item list * Syntax.pprogram

Source

val tt_file : 
  'asm Prog.arch_info ->
  'asm Env.env ->
  Annotations.pident option ->
  Location.t option ->
  string ->
  'asm Env.env * Syntax.pprogram