Inline (p.jasmin.2026.03.1.doc.jasmin.jasmin.Jasmin.Inline)

module E : sig ... end

val get_flag : Expr.lval -> Expr.assgn_tag -> Expr.assgn_tag

val assgn_tuple : 
  'a1 Sopn.asmOp ->
  Expr.instr_info ->
  Expr.lval list ->
  Expr.assgn_tag ->
  Type.atype list ->
  Expr.pexpr list ->
  'a1 Expr.instr list

val inline_c : 
  'a1 Sopn.asmOp ->
  ('a1 Expr.instr ->
    Var0.SvExtra.Sv.t ->
    (Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexec) ->
  'a1 Expr.instr list ->
  Var0.SvExtra.Sv.t ->
  (Compiler_util.pp_error_loc, Var0.SvExtra.Sv.t * 'a1 Expr.instr list)
    Utils0.result

val locals_p : 'a1 Sopn.asmOp -> 'a1 Expr.ufundef -> Var0.SvExtra.Sv.t

val check_disjoint : 
  'a1 Sopn.asmOp ->
  'a1 Expr.ufundef ->
  Var0.SvExtra.Sv.t ->
  (Compiler_util.pp_error_loc, unit) Utils0.result

val get_fun : 
  'a1 Sopn.asmOp ->
  'a1 Expr.ufun_decls ->
  Var0.funname ->
  (Compiler_util.pp_error_loc, 'a1 Expr.fundef) Utils0.result

val extend_iinfo_i : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  Expr.instr_info ->
  'a1 Expr.instr ->
  'a1 Expr.instr

val extend_iinfo_cmd : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  Expr.instr_info ->
  'a1 Expr.instr list ->
  'a1 Expr.instr list

val inline_i : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  'a1 Expr.ufun_decls ->
  'a1 Expr.instr ->
  Var0.SvExtra.Sv.t ->
  (Var0.SvExtra.Sv.t * 'a1 Expr.instr list) Compiler_util.cexec

val inline_fd : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  'a1 Expr.ufun_decls ->
  'a1 Expr.ufundef ->
  (Compiler_util.pp_error_loc, ('a1, Expr.extra_fun_t) Expr._fundef)
    Utils0.result

val inline_fd_cons : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  (Var0.funname * 'a1 Expr.ufundef) ->
  'a1 Expr.ufun_decls Compiler_util.cexec ->
  (Compiler_util.pp_error_loc, (Var0.funname * 'a1 Expr.fundef) list)
    Utils0.result

val inline_prog : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  'a1 Expr.ufun_decls ->
  'a1 Expr.ufun_decls Compiler_util.cexec

val inline_prog_err : 
  'a1 Sopn.asmOp ->
  (Expr.instr_info -> Expr.instr_info -> Expr.instr_info) ->
  'a1 Expr.uprog ->
  (Compiler_util.pp_error_loc,
    ('a1, Expr.extra_fun_t, Expr.extra_prog_t) Expr._prog)
    Utils0.result