(lang dune 2.9)
(name jasmin)
(version 00e04ab)
(library
 (name jasmin.jasmin)
 (kind normal)
 (archives (byte jasmin/jasmin.cma) (native jasmin/jasmin.cmxa))
 (plugins (byte jasmin/jasmin.cma) (native jasmin/jasmin.cmxs))
 (native_archives jasmin/jasmin.a)
 (requires angstrom batteries.unthreaded zarith menhirLib jasmin.uint63)
 (main_module_name Jasmin)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Jasmin)
   (modules
    ((name Alias) (obj_name jasmin__Alias) (visibility public) (impl) (intf))
    ((name Allocation)
     (obj_name jasmin__Allocation)
     (visibility public)
     (impl)
     (intf))
    ((name Annot) (obj_name jasmin__Annot) (visibility public) (impl) (intf))
    ((name Annotations)
     (obj_name jasmin__Annotations)
     (visibility public)
     (impl))
    ((name Arch_decl)
     (obj_name jasmin__Arch_decl)
     (visibility public)
     (impl)
     (intf))
    ((name Arch_extra)
     (obj_name jasmin__Arch_extra)
     (visibility public)
     (impl)
     (intf))
    ((name Arch_full)
     (obj_name jasmin__Arch_full)
     (visibility public)
     (impl)
     (intf))
    ((name Arch_params)
     (obj_name jasmin__Arch_params)
     (visibility public)
     (impl)
     (intf))
    ((name Arch_utils)
     (obj_name jasmin__Arch_utils)
     (visibility public)
     (impl)
     (intf))
    ((name Arm) (obj_name jasmin__Arm) (visibility public) (impl) (intf))
    ((name Arm_arch_full)
     (obj_name jasmin__Arm_arch_full)
     (visibility public)
     (impl))
    ((name Arm_decl)
     (obj_name jasmin__Arm_decl)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_expand_imm)
     (obj_name jasmin__Arm_expand_imm)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_extra)
     (obj_name jasmin__Arm_extra)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_instr_decl)
     (obj_name jasmin__Arm_instr_decl)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_lowering)
     (obj_name jasmin__Arm_lowering)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_params)
     (obj_name jasmin__Arm_params)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_params_common)
     (obj_name jasmin__Arm_params_common)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_params_core)
     (obj_name jasmin__Arm_params_core)
     (visibility public)
     (impl)
     (intf))
    ((name Arm_stack_zeroization)
     (obj_name jasmin__Arm_stack_zeroization)
     (visibility public)
     (impl)
     (intf))
    ((name Array_copy)
     (obj_name jasmin__Array_copy)
     (visibility public)
     (impl)
     (intf))
    ((name Array_expand)
     (obj_name jasmin__Array_expand)
     (visibility public)
     (impl)
     (intf))
    ((name Array_expansion)
     (obj_name jasmin__Array_expansion)
     (visibility public)
     (impl)
     (intf))
    ((name Array_init)
     (obj_name jasmin__Array_init)
     (visibility public)
     (impl)
     (intf))
    ((name Ascii) (obj_name jasmin__Ascii) (visibility public) (impl) (intf))
    ((name AsmTargetBuilder)
     (obj_name jasmin__AsmTargetBuilder)
     (visibility public)
     (impl)
     (intf))
    ((name Asm_gen)
     (obj_name jasmin__Asm_gen)
     (visibility public)
     (impl)
     (intf))
    ((name Asm_utils)
     (obj_name jasmin__Asm_utils)
     (visibility public)
     (impl)
     (intf))
    ((name AutoSpill)
     (obj_name jasmin__AutoSpill)
     (visibility public)
     (impl)
     (intf))
    ((name Bigop) (obj_name jasmin__Bigop) (visibility public) (impl) (intf))
    ((name BinInt)
     (obj_name jasmin__BinInt)
     (visibility public)
     (impl)
     (intf))
    ((name BinNat)
     (obj_name jasmin__BinNat)
     (visibility public)
     (impl)
     (intf))
    ((name BinNums)
     (obj_name jasmin__BinNums)
     (visibility public)
     (impl)
     (intf))
    ((name BinPos)
     (obj_name jasmin__BinPos)
     (visibility public)
     (impl)
     (intf))
    ((name BinPosDef)
     (obj_name jasmin__BinPosDef)
     (visibility public)
     (impl)
     (intf))
    ((name Bool) (obj_name jasmin__Bool) (visibility public) (impl) (intf))
    ((name CLI_errors)
     (obj_name jasmin__CLI_errors)
     (visibility public)
     (impl)
     (intf))
    ((name CMorphisms)
     (obj_name jasmin__CMorphisms)
     (visibility public)
     (impl)
     (intf))
    ((name CRelationClasses)
     (obj_name jasmin__CRelationClasses)
     (visibility public)
     (impl)
     (intf))
    ((name CheckAnnot)
     (obj_name jasmin__CheckAnnot)
     (visibility public)
     (impl)
     (intf))
    ((name Choice)
     (obj_name jasmin__Choice)
     (visibility public)
     (impl)
     (intf))
    ((name Compile)
     (obj_name jasmin__Compile)
     (visibility public)
     (impl)
     (intf))
    ((name Compiler)
     (obj_name jasmin__Compiler)
     (visibility public)
     (impl)
     (intf))
    ((name Compiler_util)
     (obj_name jasmin__Compiler_util)
     (visibility public)
     (impl)
     (intf))
    ((name Config)
     (obj_name jasmin__Config)
     (visibility public)
     (impl)
     (intf))
    ((name Constant_prop)
     (obj_name jasmin__Constant_prop)
     (visibility public)
     (impl)
     (intf))
    ((name Constraints)
     (obj_name jasmin__Constraints)
     (visibility public)
     (impl)
     (intf))
    ((name Conv) (obj_name jasmin__Conv) (visibility public) (impl) (intf))
    ((name CoreArchFactory)
     (obj_name jasmin__CoreArchFactory)
     (visibility public)
     (impl)
     (intf))
    ((name CoreConv) (obj_name jasmin__CoreConv) (visibility public) (impl))
    ((name CoreIdent)
     (obj_name jasmin__CoreIdent)
     (visibility public)
     (impl)
     (intf))
    ((name Ct_checker_forward)
     (obj_name jasmin__Ct_checker_forward)
     (visibility public)
     (impl)
     (intf))
    ((name Datatypes)
     (obj_name jasmin__Datatypes)
     (visibility public)
     (impl)
     (intf))
    ((name Dead_calls)
     (obj_name jasmin__Dead_calls)
     (visibility public)
     (impl)
     (intf))
    ((name Dead_code)
     (obj_name jasmin__Dead_code)
     (visibility public)
     (impl)
     (intf))
    ((name DebugInfo)
     (obj_name jasmin__DebugInfo)
     (visibility public)
     (impl)
     (intf))
    ((name DecidableType)
     (obj_name jasmin__DecidableType)
     (visibility public)
     (impl)
     (intf))
    ((name Div) (obj_name jasmin__Div) (visibility public) (impl) (intf))
    ((name EqbOK) (obj_name jasmin__EqbOK) (visibility public) (impl) (intf))
    ((name Eqb_core_defs)
     (obj_name jasmin__Eqb_core_defs)
     (visibility public)
     (impl)
     (intf))
    ((name EqdepFacts)
     (obj_name jasmin__EqdepFacts)
     (visibility public)
     (impl)
     (intf))
    ((name Eqtype)
     (obj_name jasmin__Eqtype)
     (visibility public)
     (impl)
     (intf))
    ((name Equalities)
     (obj_name jasmin__Equalities)
     (visibility public)
     (impl)
     (intf))
    ((name Evaluator)
     (obj_name jasmin__Evaluator)
     (visibility public)
     (impl)
     (intf))
    ((name Expr) (obj_name jasmin__Expr) (visibility public) (impl) (intf))
    ((name FInfo) (obj_name jasmin__FInfo) (visibility public) (impl))
    ((name FMapAVL)
     (obj_name jasmin__FMapAVL)
     (visibility public)
     (impl)
     (intf))
    ((name FMapFacts)
     (obj_name jasmin__FMapFacts)
     (visibility public)
     (impl)
     (intf))
    ((name FMapList)
     (obj_name jasmin__FMapList)
     (visibility public)
     (impl)
     (intf))
    ((name Fexpr) (obj_name jasmin__Fexpr) (visibility public) (impl) (intf))
    ((name Finfun)
     (obj_name jasmin__Finfun)
     (visibility public)
     (impl)
     (intf))
    ((name Fintype)
     (obj_name jasmin__Fintype)
     (visibility public)
     (impl)
     (intf))
    ((name Flag_combination)
     (obj_name jasmin__Flag_combination)
     (visibility public)
     (impl)
     (intf))
    ((name FunctionAnnotations)
     (obj_name jasmin__FunctionAnnotations)
     (visibility public)
     (impl)
     (intf))
    ((name Gen_map)
     (obj_name jasmin__Gen_map)
     (visibility public)
     (impl)
     (intf))
    ((name Glob_options)
     (obj_name jasmin__Glob_options)
     (visibility public)
     (impl))
    ((name Global)
     (obj_name jasmin__Global)
     (visibility public)
     (impl)
     (intf))
    ((name Help) (obj_name jasmin__Help) (visibility public) (impl) (intf))
    ((name IInfo) (obj_name jasmin__IInfo) (visibility public) (impl))
    ((name Ident) (obj_name jasmin__Ident) (visibility public) (impl) (intf))
    ((name Init) (obj_name jasmin__Init) (visibility public) (impl) (intf))
    ((name Inline)
     (obj_name jasmin__Inline)
     (visibility public)
     (impl)
     (intf))
    ((name Insert_copy_and_fix_length)
     (obj_name jasmin__Insert_copy_and_fix_length)
     (visibility public)
     (impl)
     (intf))
    ((name Insert_renaming)
     (obj_name jasmin__Insert_renaming)
     (visibility public)
     (impl)
     (intf))
    ((name Int) (obj_name jasmin__Int) (visibility public) (impl) (intf))
    ((name Interval)
     (obj_name jasmin__Interval)
     (visibility public)
     (impl)
     (intf))
    ((name IntervalGraphColoring)
     (obj_name jasmin__IntervalGraphColoring)
     (visibility public)
     (impl)
     (intf))
    ((name Label) (obj_name jasmin__Label) (visibility public) (impl) (intf))
    ((name Label_check)
     (obj_name jasmin__Label_check)
     (visibility public)
     (impl)
     (intf))
    ((name Latex_printer)
     (obj_name jasmin__Latex_printer)
     (visibility public)
     (impl)
     (intf))
    ((name Lea) (obj_name jasmin__Lea) (visibility public) (impl) (intf))
    ((name Lexer) (obj_name jasmin__Lexer) (visibility public) (impl))
    ((name Linear)
     (obj_name jasmin__Linear)
     (visibility public)
     (impl)
     (intf))
    ((name Linear_util)
     (obj_name jasmin__Linear_util)
     (visibility public)
     (impl)
     (intf))
    ((name Linearization)
     (obj_name jasmin__Linearization)
     (visibility public)
     (impl)
     (intf))
    ((name List0) (obj_name jasmin__List0) (visibility public) (impl) (intf))
    ((name Liveness)
     (obj_name jasmin__Liveness)
     (visibility public)
     (impl)
     (intf))
    ((name Load_constants_in_cond)
     (obj_name jasmin__Load_constants_in_cond)
     (visibility public)
     (impl)
     (intf))
    ((name Location)
     (obj_name jasmin__Location)
     (visibility public)
     (impl)
     (intf))
    ((name Low_memory)
     (obj_name jasmin__Low_memory)
     (visibility public)
     (impl)
     (intf))
    ((name Lower_spill)
     (obj_name jasmin__Lower_spill)
     (visibility public)
     (impl)
     (intf))
    ((name Lowering)
     (obj_name jasmin__Lowering)
     (visibility public)
     (impl)
     (intf))
    ((name MSetDecide)
     (obj_name jasmin__MSetDecide)
     (visibility public)
     (impl)
     (intf))
    ((name MSetEqProperties)
     (obj_name jasmin__MSetEqProperties)
     (visibility public)
     (impl)
     (intf))
    ((name MSetFacts)
     (obj_name jasmin__MSetFacts)
     (visibility public)
     (impl)
     (intf))
    ((name MSetInterface)
     (obj_name jasmin__MSetInterface)
     (visibility public)
     (impl)
     (intf))
    ((name MSetProperties)
     (obj_name jasmin__MSetProperties)
     (visibility public)
     (impl)
     (intf))
    ((name MakeReferenceArguments)
     (obj_name jasmin__MakeReferenceArguments)
     (visibility public)
     (impl)
     (intf))
    ((name Memory_example)
     (obj_name jasmin__Memory_example)
     (visibility public)
     (impl)
     (intf))
    ((name Memory_model)
     (obj_name jasmin__Memory_model)
     (visibility public)
     (impl)
     (intf))
    ((name Merge_varmaps)
     (obj_name jasmin__Merge_varmaps)
     (visibility public)
     (impl)
     (intf))
    ((name Nat0) (obj_name jasmin__Nat0) (visibility public) (impl) (intf))
    ((name One_varmap)
     (obj_name jasmin__One_varmap)
     (visibility public)
     (impl)
     (intf))
    ((name Operators)
     (obj_name jasmin__Operators)
     (visibility public)
     (impl)
     (intf))
    ((name OrderedType)
     (obj_name jasmin__OrderedType)
     (visibility public)
     (impl)
     (intf))
    ((name Orders)
     (obj_name jasmin__Orders)
     (visibility public)
     (impl)
     (intf))
    ((name OrdersTac)
     (obj_name jasmin__OrdersTac)
     (visibility public)
     (impl)
     (intf))
    ((name Oseq) (obj_name jasmin__Oseq) (visibility public) (impl) (intf))
    ((name Param1)
     (obj_name jasmin__Param1)
     (visibility public)
     (impl)
     (intf))
    ((name Param1_trivial)
     (obj_name jasmin__Param1_trivial)
     (visibility public)
     (impl)
     (intf))
    ((name Parseio)
     (obj_name jasmin__Parseio)
     (visibility public)
     (impl)
     (intf))
    ((name Parser)
     (obj_name jasmin__Parser)
     (visibility public)
     (impl)
     (intf))
    ((name PeanoNat)
     (obj_name jasmin__PeanoNat)
     (visibility public)
     (impl)
     (intf))
    ((name Post_unrolling_check)
     (obj_name jasmin__Post_unrolling_check)
     (visibility public)
     (impl)
     (intf))
    ((name Pp_arm_m4)
     (obj_name jasmin__Pp_arm_m4)
     (visibility public)
     (impl)
     (intf))
    ((name Pp_riscv)
     (obj_name jasmin__Pp_riscv)
     (visibility public)
     (impl)
     (intf))
    ((name Pp_stack_alloc)
     (obj_name jasmin__Pp_stack_alloc)
     (visibility public)
     (impl)
     (intf))
    ((name Pp_x86)
     (obj_name jasmin__Pp_x86)
     (visibility public)
     (impl)
     (intf))
    ((name Prelude)
     (obj_name jasmin__Prelude)
     (visibility public)
     (impl)
     (intf))
    ((name Pretyping)
     (obj_name jasmin__Pretyping)
     (visibility public)
     (impl)
     (intf))
    ((name PrimInt63)
     (obj_name jasmin__PrimInt63)
     (visibility public)
     (impl)
     (intf))
    ((name PrintASM)
     (obj_name jasmin__PrintASM)
     (visibility public)
     (impl)
     (intf))
    ((name PrintCommon)
     (obj_name jasmin__PrintCommon)
     (visibility public)
     (impl)
     (intf))
    ((name PrintExportInfo)
     (obj_name jasmin__PrintExportInfo)
     (visibility public)
     (impl)
     (intf))
    ((name PrintFexpr)
     (obj_name jasmin__PrintFexpr)
     (visibility public)
     (impl)
     (intf))
    ((name PrintLinear)
     (obj_name jasmin__PrintLinear)
     (visibility public)
     (impl)
     (intf))
    ((name Printer)
     (obj_name jasmin__Printer)
     (visibility public)
     (impl)
     (intf))
    ((name Prog) (obj_name jasmin__Prog) (visibility public) (impl) (intf))
    ((name Propagate_inline)
     (obj_name jasmin__Propagate_inline)
     (visibility public)
     (impl)
     (intf))
    ((name Psem_defs)
     (obj_name jasmin__Psem_defs)
     (visibility public)
     (impl)
     (intf))
    ((name Pseudo_operator)
     (obj_name jasmin__Pseudo_operator)
     (visibility public)
     (impl)
     (intf))
    ((name Puf) (obj_name jasmin__Puf) (visibility public) (impl) (intf))
    ((name Regalloc)
     (obj_name jasmin__Regalloc)
     (visibility public)
     (impl)
     (intf))
    ((name RemoveUnusedResults)
     (obj_name jasmin__RemoveUnusedResults)
     (visibility public)
     (impl)
     (intf))
    ((name Remove_assert)
     (obj_name jasmin__Remove_assert)
     (visibility public)
     (impl)
     (intf))
    ((name Remove_globals)
     (obj_name jasmin__Remove_globals)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv) (obj_name jasmin__Riscv) (visibility public) (impl) (intf))
    ((name Riscv_arch_full)
     (obj_name jasmin__Riscv_arch_full)
     (visibility public)
     (impl))
    ((name Riscv_decl)
     (obj_name jasmin__Riscv_decl)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_extra)
     (obj_name jasmin__Riscv_extra)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_instr_decl)
     (obj_name jasmin__Riscv_instr_decl)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_lower_addressing)
     (obj_name jasmin__Riscv_lower_addressing)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_lowering)
     (obj_name jasmin__Riscv_lowering)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_params)
     (obj_name jasmin__Riscv_params)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_params_common)
     (obj_name jasmin__Riscv_params_common)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_params_core)
     (obj_name jasmin__Riscv_params_core)
     (visibility public)
     (impl)
     (intf))
    ((name Riscv_stack_zeroization)
     (obj_name jasmin__Riscv_stack_zeroization)
     (visibility public)
     (impl)
     (intf))
    ((name ScopeTree)
     (obj_name jasmin__ScopeTree)
     (visibility public)
     (impl)
     (intf))
    ((name Sct_checker_forward)
     (obj_name jasmin__Sct_checker_forward)
     (visibility public)
     (impl)
     (intf))
    ((name SecurityAnnotations)
     (obj_name jasmin__SecurityAnnotations)
     (visibility public)
     (impl)
     (intf))
    ((name Sem_op_typed)
     (obj_name jasmin__Sem_op_typed)
     (visibility public)
     (impl)
     (intf))
    ((name Sem_params)
     (obj_name jasmin__Sem_params)
     (visibility public)
     (impl)
     (intf))
    ((name Sem_params_of_arch_extra)
     (obj_name jasmin__Sem_params_of_arch_extra)
     (visibility public)
     (impl)
     (intf))
    ((name Sem_type)
     (obj_name jasmin__Sem_type)
     (visibility public)
     (impl)
     (intf))
    ((name Seq) (obj_name jasmin__Seq) (visibility public) (impl) (intf))
    ((name Seq_extra)
     (obj_name jasmin__Seq_extra)
     (visibility public)
     (impl)
     (intf))
    ((name Sha256)
     (obj_name jasmin__Sha256)
     (visibility public)
     (impl)
     (intf))
    ((name Shift_kind)
     (obj_name jasmin__Shift_kind)
     (visibility public)
     (impl)
     (intf))
    ((name Slh_lowering)
     (obj_name jasmin__Slh_lowering)
     (visibility public)
     (impl)
     (intf))
    ((name Slh_ops)
     (obj_name jasmin__Slh_ops)
     (visibility public)
     (impl)
     (intf))
    ((name Slicing)
     (obj_name jasmin__Slicing)
     (visibility public)
     (impl)
     (intf))
    ((name Sopn) (obj_name jasmin__Sopn) (visibility public) (impl) (intf))
    ((name Specif)
     (obj_name jasmin__Specif)
     (visibility public)
     (impl)
     (intf))
    ((name Ssa) (obj_name jasmin__Ssa) (visibility public) (impl) (intf))
    ((name Ssrbool)
     (obj_name jasmin__Ssrbool)
     (visibility public)
     (impl)
     (intf))
    ((name Ssreflect)
     (obj_name jasmin__Ssreflect)
     (visibility public)
     (impl)
     (intf))
    ((name Ssrfun)
     (obj_name jasmin__Ssrfun)
     (visibility public)
     (impl)
     (intf))
    ((name Ssrint)
     (obj_name jasmin__Ssrint)
     (visibility public)
     (impl)
     (intf))
    ((name Ssrnat)
     (obj_name jasmin__Ssrnat)
     (visibility public)
     (impl)
     (intf))
    ((name StackAlloc)
     (obj_name jasmin__StackAlloc)
     (visibility public)
     (impl)
     (intf))
    ((name Stack_alloc)
     (obj_name jasmin__Stack_alloc)
     (visibility public)
     (impl)
     (intf))
    ((name Stack_alloc_params)
     (obj_name jasmin__Stack_alloc_params)
     (visibility public)
     (impl)
     (intf))
    ((name Stack_zero_strategy)
     (obj_name jasmin__Stack_zero_strategy)
     (visibility public)
     (impl)
     (intf))
    ((name Stack_zeroization)
     (obj_name jasmin__Stack_zeroization)
     (visibility public)
     (impl)
     (intf))
    ((name Std) (obj_name jasmin__Std) (visibility public) (impl) (intf))
    ((name String0)
     (obj_name jasmin__String0)
     (visibility public)
     (impl)
     (intf))
    ((name Strings)
     (obj_name jasmin__Strings)
     (visibility public)
     (impl)
     (intf))
    ((name Subst) (obj_name jasmin__Subst) (visibility public) (impl) (intf))
    ((name Sumbool)
     (obj_name jasmin__Sumbool)
     (visibility public)
     (impl)
     (intf))
    ((name Syntax) (obj_name jasmin__Syntax) (visibility public) (impl))
    ((name Syscall)
     (obj_name jasmin__Syscall)
     (visibility public)
     (impl)
     (intf))
    ((name Syscall_ocaml)
     (obj_name jasmin__Syscall_ocaml)
     (visibility public)
     (impl)
     (intf))
    ((name Syscall_sem)
     (obj_name jasmin__Syscall_sem)
     (visibility public)
     (impl)
     (intf))
    ((name Syscall_t) (obj_name jasmin__Syscall_t) (visibility public) (impl))
    ((name Tagged)
     (obj_name jasmin__Tagged)
     (visibility public)
     (impl)
     (intf))
    ((name ToEC) (obj_name jasmin__ToEC) (visibility public) (impl) (intf))
    ((name Tt_arm_m4)
     (obj_name jasmin__Tt_arm_m4)
     (visibility public)
     (impl)
     (intf))
    ((name Tunneling)
     (obj_name jasmin__Tunneling)
     (visibility public)
     (impl)
     (intf))
    ((name Tuple) (obj_name jasmin__Tuple) (visibility public) (impl) (intf))
    ((name Type) (obj_name jasmin__Type) (visibility public) (impl) (intf))
    ((name Typing)
     (obj_name jasmin__Typing)
     (visibility public)
     (impl)
     (intf))
    ((name Uint0) (obj_name jasmin__Uint0) (visibility public) (impl) (intf))
    ((name UnionFindBasic)
     (obj_name jasmin__UnionFindBasic)
     (visibility public)
     (impl)
     (intf))
    ((name Unionfind)
     (obj_name jasmin__Unionfind)
     (visibility public)
     (impl)
     (intf))
    ((name Unrolling)
     (obj_name jasmin__Unrolling)
     (visibility public)
     (impl)
     (intf))
    ((name Utils) (obj_name jasmin__Utils) (visibility public) (impl) (intf))
    ((name Utils0)
     (obj_name jasmin__Utils0)
     (visibility public)
     (impl)
     (intf))
    ((name Values)
     (obj_name jasmin__Values)
     (visibility public)
     (impl)
     (intf))
    ((name Var0) (obj_name jasmin__Var0) (visibility public) (impl) (intf))
    ((name Varalloc)
     (obj_name jasmin__Varalloc)
     (visibility public)
     (impl)
     (intf))
    ((name Varmap)
     (obj_name jasmin__Varmap)
     (visibility public)
     (impl)
     (intf))
    ((name Waes) (obj_name jasmin__Waes) (visibility public) (impl) (intf))
    ((name Warray_)
     (obj_name jasmin__Warray_)
     (visibility public)
     (impl)
     (intf))
    ((name Wint_int)
     (obj_name jasmin__Wint_int)
     (visibility public)
     (impl)
     (intf))
    ((name Wint_word)
     (obj_name jasmin__Wint_word)
     (visibility public)
     (impl)
     (intf))
    ((name Word) (obj_name jasmin__Word) (visibility public) (impl) (intf))
    ((name Word0) (obj_name jasmin__Word0) (visibility public) (impl) (intf))
    ((name Word_ssrZ)
     (obj_name jasmin__Word_ssrZ)
     (visibility public)
     (impl)
     (intf))
    ((name Wsize) (obj_name jasmin__Wsize) (visibility public) (impl) (intf))
    ((name X86) (obj_name jasmin__X86) (visibility public) (impl) (intf))
    ((name X86_arch_full)
     (obj_name jasmin__X86_arch_full)
     (visibility public)
     (impl))
    ((name X86_decl)
     (obj_name jasmin__X86_decl)
     (visibility public)
     (impl)
     (intf))
    ((name X86_extra)
     (obj_name jasmin__X86_extra)
     (visibility public)
     (impl)
     (intf))
    ((name X86_instr_decl)
     (obj_name jasmin__X86_instr_decl)
     (visibility public)
     (impl)
     (intf))
    ((name X86_lowering)
     (obj_name jasmin__X86_lowering)
     (visibility public)
     (impl)
     (intf))
    ((name X86_params)
     (obj_name jasmin__X86_params)
     (visibility public)
     (impl)
     (intf))
    ((name X86_stack_zeroization)
     (obj_name jasmin__X86_stack_zeroization)
     (visibility public)
     (impl)
     (intf))
    ((name Xseq) (obj_name jasmin__Xseq) (visibility public) (impl) (intf))
    ((name Zpower)
     (obj_name jasmin__Zpower)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Jasmin)
    (obj_name jasmin)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name jasmin.linter)
 (kind normal)
 (archives (byte linter/linter.cma) (native linter/linter.cmxa))
 (plugins (byte linter/linter.cma) (native linter/linter.cmxs))
 (native_archives linter/linter.a)
 (requires jasmin.jasmin cmdliner)
 (main_module_name Linter)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Linter)
   (modules
    ((name Annotation)
     (obj_name linter__Annotation)
     (visibility public)
     (impl)
     (intf))
    ((name BackwardAnalyser)
     (obj_name linter__BackwardAnalyser)
     (visibility public)
     (impl)
     (intf))
    ((name CompileError)
     (obj_name linter__CompileError)
     (visibility public)
     (impl)
     (intf))
    ((name DeadVariables)
     (obj_name linter__DeadVariables)
     (visibility public)
     (impl)
     (intf))
    ((name ForwardAnalyser)
     (obj_name linter__ForwardAnalyser)
     (visibility public)
     (impl)
     (intf))
    ((name Grange)
     (obj_name linter__Grange)
     (visibility public)
     (impl)
     (intf))
    ((name LivenessAnalyser)
     (obj_name linter__LivenessAnalyser)
     (visibility public)
     (impl)
     (intf))
    ((name RDAnalyser)
     (obj_name linter__RDAnalyser)
     (visibility public)
     (impl)
     (intf))
    ((name RDDomain)
     (obj_name linter__RDDomain)
     (visibility public)
     (impl)
     (intf))
    ((name TaintAnalysis)
     (obj_name linter__TaintAnalysis)
     (visibility public)
     (impl)
     (intf))
    ((name VariableInitialisation)
     (obj_name linter__VariableInitialisation)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Linter)
    (obj_name linter)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name jasmin.uint63)
 (kind normal)
 (virtual)
 (default_implementation jasmin.uint63-native)
 (main_module_name Uint63)
 (modes byte native)
 (modules
  (singleton
   (name Uint63)
   (obj_name uint63)
   (visibility public)
   (kind virtual)
   (intf))))
(library
 (name jasmin.uint63-js)
 (kind normal)
 (archives (byte uint63-js/uint63_js.cma) (native uint63-js/uint63_js.cmxa))
 (plugins (byte uint63-js/uint63_js.cma) (native uint63-js/uint63_js.cmxs))
 (native_archives uint63-js/uint63_js.a)
 (requires jasmin.uint63)
 (implements jasmin.uint63)
 (main_module_name Uint63)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Uint63)
   (modules
    ((name Uint63)
     (obj_name uint63)
     (visibility public)
     (kind impl_vmodule)
     (impl)))
   (alias_module
    (name Uint63__uint63_js__)
    (obj_name uint63__uint63_js__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
(library
 (name jasmin.uint63-native)
 (kind normal)
 (archives
  (byte uint63-native/uint63_native.cma)
  (native uint63-native/uint63_native.cmxa))
 (plugins
  (byte uint63-native/uint63_native.cma)
  (native uint63-native/uint63_native.cmxs))
 (native_archives uint63-native/uint63_native.a)
 (requires jasmin.uint63)
 (implements jasmin.uint63)
 (main_module_name Uint63)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Uint63)
   (modules
    ((name Uint63)
     (obj_name uint63)
     (visibility public)
     (kind impl_vmodule)
     (impl)))
   (alias_module
    (name Uint63__uint63_native__)
    (obj_name uint63__uint63_native__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
