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

Sourcetype 'asm env

Sourceval empty : 'asm env

Sourceval decls : 'asm env -> (unit, 'asm) Prog.pmod_item list

Sourceval add_from : 'asm env -> (string * string) -> 'asm env

Sourceval dependencies : 'asm env -> string list list

val enter_file : 
  'asm env ->
  Annotations.pident option ->
  Location.t option ->
  string ->
  ('asm env * string) option

Sourceval exit_file : 'asm env -> 'asm env

Sourcemodule Funs : sig ... end

Sourcemodule Exec : sig ... end