sig
  module Endian : sig type t = Big | Little end
  module CodeGenOptLevel :
    sig type t = None | Less | Default | Aggressive end
  module RelocMode : sig type t = Default | Static | PIC | DynamicNoPIC end
  module CodeModel :
    sig type t = Default | JITDefault | Small | Kernel | Medium | Large end
  module CodeGenFileType : sig type t = AssemblyFile | ObjectFile end
  exception Error of string
  module DataLayout :
    sig
      type t
      val of_string : string -> Llvm_target.DataLayout.t
      val as_string : Llvm_target.DataLayout.t -> string
      val add_to_pass_manager :
        [< Llvm.PassManager.any ] Llvm.PassManager.t ->
        Llvm_target.DataLayout.t -> unit
      val byte_order : Llvm_target.DataLayout.t -> Llvm_target.Endian.t
      val pointer_size : Llvm_target.DataLayout.t -> int
      val intptr_type :
        Llvm.llcontext -> Llvm_target.DataLayout.t -> Llvm.lltype
      val qualified_pointer_size : int -> Llvm_target.DataLayout.t -> int
      val qualified_intptr_type :
        Llvm.llcontext -> int -> Llvm_target.DataLayout.t -> Llvm.lltype
      val size_in_bits : Llvm.lltype -> Llvm_target.DataLayout.t -> Int64.t
      val store_size : Llvm.lltype -> Llvm_target.DataLayout.t -> Int64.t
      val abi_size : Llvm.lltype -> Llvm_target.DataLayout.t -> Int64.t
      val abi_align : Llvm.lltype -> Llvm_target.DataLayout.t -> int
      val stack_align : Llvm.lltype -> Llvm_target.DataLayout.t -> int
      val preferred_align : Llvm.lltype -> Llvm_target.DataLayout.t -> int
      val preferred_align_of_global :
        Llvm.llvalue -> Llvm_target.DataLayout.t -> int
      val element_at_offset :
        Llvm.lltype -> Int64.t -> Llvm_target.DataLayout.t -> int
      val offset_of_element :
        Llvm.lltype -> int -> Llvm_target.DataLayout.t -> Int64.t
    end
  module Target :
    sig
      type t
      val default_triple : unit -> string
      val first : unit -> Llvm_target.Target.t option
      val succ : Llvm_target.Target.t -> Llvm_target.Target.t option
      val all : unit -> Llvm_target.Target.t list
      val by_name : string -> Llvm_target.Target.t option
      val by_triple : string -> Llvm_target.Target.t
      val name : Llvm_target.Target.t -> string
      val description : Llvm_target.Target.t -> string
      val has_jit : Llvm_target.Target.t -> bool
      val has_target_machine : Llvm_target.Target.t -> bool
      val has_asm_backend : Llvm_target.Target.t -> bool
    end
  module TargetMachine :
    sig
      type t
      val create :
        triple:string ->
        ?cpu:string ->
        ?features:string ->
        ?level:Llvm_target.CodeGenOptLevel.t ->
        ?reloc_mode:Llvm_target.RelocMode.t ->
        ?code_model:Llvm_target.CodeModel.t ->
        Llvm_target.Target.t -> Llvm_target.TargetMachine.t
      val target : Llvm_target.TargetMachine.t -> Llvm_target.Target.t
      val triple : Llvm_target.TargetMachine.t -> string
      val cpu : Llvm_target.TargetMachine.t -> string
      val features : Llvm_target.TargetMachine.t -> string
      val data_layout :
        Llvm_target.TargetMachine.t -> Llvm_target.DataLayout.t
      val add_analysis_passes :
        [< Llvm.PassManager.any ] Llvm.PassManager.t ->
        Llvm_target.TargetMachine.t -> unit
      val set_verbose_asm : bool -> Llvm_target.TargetMachine.t -> unit
      val emit_to_file :
        Llvm.llmodule ->
        Llvm_target.CodeGenFileType.t ->
        string -> Llvm_target.TargetMachine.t -> unit
      val emit_to_memory_buffer :
        Llvm.llmodule ->
        Llvm_target.CodeGenFileType.t ->
        Llvm_target.TargetMachine.t -> Llvm.llmemorybuffer
    end
end