• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • ocaml-variants

  • Documentation
  • ocamloptcomp lib
  • Branch_relaxation_intf Module
  1. Overview
  2. Docs
package ocaml-variants
  • bigarray
    • Bigarray
  • dynlink
    • Dynlink
  • ocamlbytecomp
    • Bytegen
    • Bytelibrarian
    • Bytelink
    • Bytepackager
    • Compile
    • Emitcode
    • Errors
    • Instruct
    • Maindriver
    • Printinstr
  • ocamlcommon
    • Arg_helper
      • Make
        • S
          • Key
            • Map
          • Value
    • Ast_helper
      • Attr
      • Cf
      • Ci
      • Cl
      • Const
      • Csig
      • Cstr
      • Ctf
      • Cty
      • Exp
      • Incl
      • Mb
      • Md
      • Mod
      • Ms
      • Mtd
      • Mty
      • Of
      • Opn
      • Pat
      • Rf
      • Sig
      • Str
      • Te
      • Typ
      • Type
      • Val
      • Vb
    • Ast_invariants
    • Ast_iterator
    • Ast_mapper
    • Attr_helper
    • Binutils
    • Btype
      • For_copy
      • TypeHash
      • TypeMap
      • TypeSet
    • Build_path_prefix_map
    • Builtin_attributes
    • Bytesections
    • CamlinternalMenhirLib
      • Convert
        • Simplified
      • Engine
        • Make
          • T
            • Log
      • EngineTypes
        • ENGINE
        • INCREMENTAL_ENGINE_START
        • MONOLITHIC_ENGINE
        • TABLE
          • Log
      • ErrorReports
      • General
      • IncrementalEngine
        • EVERYTHING
        • INCREMENTAL_ENGINE
        • INSPECTION
        • SYMBOLS
      • InfiniteArray
      • InspectionTableFormat
        • TABLES
      • InspectionTableInterpreter
        • Make
          • E
          • ET
            • Log
          • IT
          • TT
        • Symbols
          • T
      • LinearizedArray
      • PackedIntArray
      • Printers
        • Make
          • I
          • User
      • RowDisplacement
      • StaticVersion
      • TableFormat
        • TABLES
      • TableInterpreter
        • MakeEngineTable
          • Log
          • T
    • Ccomp
    • Clflags
      • Compiler_pass
      • Float_arg_helper
      • Int_arg_helper
    • Cmi_format
    • Cmt2annot
    • Cmt_format
    • Compenv
    • Compile_common
    • Compmisc
    • Config
    • Consistbl
      • Make
        • Module_name
          • Map
          • Set
          • Tbl
    • Ctype
      • TypePairs
      • Unification_trace
    • Datarepr
    • Debuginfo
      • Scoped_location
    • Depend
    • Dll
    • Docstrings
      • WithMenhir
    • Domainstate
    • Env
    • Envaux
    • Ident
      • Map
      • Set
      • T
      • Tbl
    • Identifiable
      • Make
        • Map
        • Set
        • T
        • Tbl
      • Map
        • T
      • Pair
        • A
        • B
      • S
        • Map
        • Set
        • T
        • Tbl
      • Set
        • T
      • Tbl
        • T
      • Thing
    • Includeclass
    • Includecore
    • Includemod
    • Int_replace_polymorphic_compare
    • Lambda
    • Lexer
    • Load_path
      • Dir
    • Local_store
    • Location
    • Longident
    • Main_args
      • Arg_list
      • Bytecomp_options
      • Bytetop_options
      • Common_options
      • Compiler_options
      • Core_options
      • Default
        • Main
        • Odoc_args
        • Optmain
        • Opttopmain
        • Topmain
      • Make_bytecomp_options
        • _
      • Make_bytetop_options
        • _
      • Make_ocamldoc_options
        • _
      • Make_optcomp_options
        • _
      • Make_opttop_options
        • _
      • Ocamldoc_options
      • Optcommon_options
      • Optcomp_options
      • Opttop_options
      • Toplevel_options
    • Makedepend
    • Matching
    • Meta
    • Misc
      • Color
      • EnvLazy
      • Error_style
      • Int_literal_converter
      • LongString
      • Magic_number
      • Stdlib
        • Array
        • List
        • Option
        • String
          • Map
          • Set
          • Tbl
    • Mtype
    • Numbers
      • Float
        • Map
        • Set
        • T
        • Tbl
      • Int
        • Map
        • Set
        • T
        • Tbl
      • Int16
      • Int8
    • Opcodes
    • Oprint
    • Parmatch
      • Compat
        • _
    • Parse
    • Parser
      • Incremental
      • MenhirInterpreter
    • Path
      • Map
      • Set
    • Patterns
      • General
      • Half_simple
      • Head
      • Non_empty_row
      • Simple
    • Persistent_env
      • Consistbl
      • Persistent_signature
    • Pparse
    • Pprintast
    • Predef
    • Primitive
    • Printast
    • Printlambda
    • Printpat
    • Printtyp
      • Conflicts
      • Naming_context
      • Out_name
    • Printtyped
    • Profile
    • Rec_check
    • Runtimedef
    • Simplif
    • Strongly_connected_components
      • Make
        • Id
          • Map
          • Set
          • T
          • Tbl
      • S
        • Id
          • Map
          • Set
          • T
          • Tbl
    • Stypes
    • Subst
    • Switch
      • CtxStore
        • A
      • CtxStored
      • Make
        • Arg
      • S
      • Store
        • A
      • Stored
    • Symtable
    • Syntaxerr
    • Targetint
    • Tast_iterator
    • Tast_mapper
    • Terminfo
    • Translattribute
    • Translclass
    • Translcore
    • Translmod
    • Translobj
    • Translprim
    • Type_immediacy
      • Violation
    • Typeclass
    • Typecore
      • Datatype_kind
    • Typedecl
    • Typedecl_immediacy
    • Typedecl_properties
    • Typedecl_separability
    • Typedecl_unboxed
    • Typedecl_variance
    • Typedtree
    • Typemod
      • Sig_component_kind
      • Signature_names
    • Typeopt
    • Types
      • Concr
      • Meths
      • Separability
      • TypeOps
      • Uid
        • Map
        • Set
        • T
        • Tbl
      • Variance
      • Vars
    • Typetexp
    • Untypeast
    • Warnings
  • ocamlmiddleend
    • Alias_analysis
    • Allocated_const
    • Augment_specialised_args
      • Definition
      • Make
        • _
      • S
      • What_to_specialise
    • Backend_var
      • Provenance
      • With_provenance
    • Build_export_info
    • Clambda
    • Clambda_primitives
    • Closure
    • Closure_conversion
    • Closure_conversion_aux
      • Env
      • Function_decls
        • Function_decl
    • Closure_element
      • Map
      • Set
      • T
      • Tbl
    • Closure_id
      • Map
      • Set
      • T
      • Tbl
    • Closure_middle_end
    • Closure_offsets
    • Closure_origin
      • Map
      • Set
      • T
      • Tbl
    • Compilation_unit
      • Map
      • Set
      • T
      • Tbl
    • Compilenv
    • Convert_primitives
    • Effect_analysis
    • Export_id
      • Map
      • Set
      • T
      • Tbl
    • Export_info
    • Export_info_for_pack
    • Extract_projections
    • Find_recursive_functions
    • Flambda
      • Constant_defining_value
        • Map
        • Set
        • T
        • Tbl
      • With_free_variables
    • Flambda_invariants
    • Flambda_iterators
    • Flambda_middle_end
    • Flambda_to_clambda
    • Flambda_utils
      • Switch_storer
    • Freshening
      • Project_var
    • Id_types
      • BaseId
      • Id
      • UnitId
        • Compilation_unit
        • _
    • Import_approx
    • Inconstant_idents
    • Initialize_symbol_to_let_symbol
    • Inline_and_simplify
    • Inline_and_simplify_aux
      • Env
      • Result
    • Inlining_cost
      • Benefit
      • Threshold
      • Whether_sufficient_benefit
    • Inlining_decision
    • Inlining_stats
      • Closure_stack
    • Inlining_stats_types
      • Decision
      • Inlined
      • Not_inlined
      • Not_specialised
      • Prevented
      • Specialised
    • Inlining_transforms
    • Internal_variable_names
    • Invariant_params
    • Lift_code
    • Lift_constants
    • Lift_let_to_initialize_symbol
    • Linkage_name
      • Map
      • Set
      • T
      • Tbl
    • Mutable_variable
      • Map
      • Set
      • T
      • Tbl
    • Parameter
      • List
      • Map
      • Set
      • T
      • Tbl
    • Pass_wrapper
    • Printclambda
    • Printclambda_primitives
    • Projection
      • Map
      • Set
      • T
      • Tbl
    • Ref_to_variables
    • Remove_free_vars_equal_to_args
    • Remove_unused_arguments
    • Remove_unused_closure_vars
    • Remove_unused_program_constructs
    • Semantics_of_primitives
    • Set_of_closures_id
      • Map
      • Set
      • T
      • Tbl
    • Set_of_closures_origin
      • Map
      • Set
      • T
      • Tbl
    • Share_constants
    • Simple_value_approx
    • Simplify_boxed_integer_ops
      • Simplify_boxed_int32
      • Simplify_boxed_int64
      • Simplify_boxed_nativeint
    • Simplify_common
    • Simplify_primitives
    • Static_exception
      • Map
      • Set
      • T
      • Tbl
    • Symbol
      • Map
      • Set
      • T
      • Tbl
    • Tag
      • Map
      • Set
      • T
      • Tbl
    • Traverse_for_exported_symbols
    • Un_anf
    • Unbox_closures
    • Unbox_free_vars_of_closures
    • Unbox_specialised_args
    • Var_within_closure
      • Map
      • Set
      • T
      • Tbl
    • Variable
      • Map
      • Pair
        • Map
        • Set
        • T
        • Tbl
      • Set
      • T
      • Tbl
  • ocamloptcomp
    • Afl_instrument
    • Alias_analysis
    • Allocated_const
    • Arch
    • Asmgen
    • Asmlibrarian
    • Asmlink
    • Asmpackager
    • Augment_specialised_args
      • Definition
      • Make
        • _
      • S
      • What_to_specialise
    • Available_regs
    • Backend_var
      • Provenance
      • With_provenance
    • Branch_relaxation
      • Make
        • T
          • Cond_branch
    • Branch_relaxation_intf
      • S
        • Cond_branch
    • Build_export_info
    • CSE
      • cse
    • CSEgen
      • cse_generic
    • Clambda
    • Clambda_primitives
    • Closure
    • Closure_conversion
    • Closure_conversion_aux
      • Env
      • Function_decls
        • Function_decl
    • Closure_element
      • Map
      • Set
      • T
      • Tbl
    • Closure_id
      • Map
      • Set
      • T
      • Tbl
    • Closure_middle_end
    • Closure_offsets
    • Closure_origin
      • Map
      • Set
      • T
      • Tbl
    • Cmm
    • Cmm_helpers
    • Cmmgen
    • Cmmgen_state
    • Coloring
    • Comballoc
    • Compilation_unit
      • Map
      • Set
      • T
      • Tbl
    • Compilenv
    • Compute_ranges
      • Make
        • Range
        • S
          • Index
            • Map
            • Set
            • T
            • Tbl
          • Key
            • Map
            • Set
          • Range_info
          • Subrange_info
          • Subrange_state
        • Subrange
    • Compute_ranges_intf
      • S
        • Index
          • Map
          • Set
          • T
          • Tbl
        • Key
          • Map
          • Set
        • Range
        • Range_info
        • Subrange
        • Subrange_info
        • Subrange_state
      • S_functor
        • Index
          • Map
          • Set
          • T
          • Tbl
        • Key
          • Map
          • Set
        • Range_info
        • Subrange_info
        • Subrange_state
      • S_range_info
      • S_subrange_info
      • S_subrange_state
    • Convert_primitives
    • Dataflow
      • Backward
        • D
      • DOMAIN
    • Deadcode
    • Effect_analysis
    • Emit
    • Emitaux
    • Export_id
      • Map
      • Set
      • T
      • Tbl
    • Export_info
    • Export_info_for_pack
    • Extract_projections
    • Find_recursive_functions
    • Flambda
      • Constant_defining_value
        • Map
        • Set
        • T
        • Tbl
      • With_free_variables
    • Flambda_invariants
    • Flambda_iterators
    • Flambda_middle_end
    • Flambda_to_clambda
    • Flambda_utils
      • Switch_storer
    • Freshening
      • Project_var
    • Id_types
      • BaseId
      • Id
      • UnitId
        • Compilation_unit
        • _
    • Import_approx
    • Inconstant_idents
    • Initialize_symbol_to_let_symbol
    • Inline_and_simplify
    • Inline_and_simplify_aux
      • Env
      • Result
    • Inlining_cost
      • Benefit
      • Threshold
      • Whether_sufficient_benefit
    • Inlining_decision
    • Inlining_stats
      • Closure_stack
    • Inlining_stats_types
      • Decision
      • Inlined
      • Not_inlined
      • Not_specialised
      • Prevented
      • Specialised
    • Inlining_transforms
    • Interf
    • Internal_variable_names
    • Interval
    • Invariant_params
    • Lift_code
    • Lift_constants
    • Lift_let_to_initialize_symbol
    • Linear
    • Linear_format
    • Linearize
    • Linkage_name
      • Map
      • Set
      • T
      • Tbl
    • Linscan
    • Liveness
    • Mach
    • Mutable_variable
      • Map
      • Set
      • T
      • Tbl
    • Optcompile
    • Opterrors
    • Optmaindriver
    • Parameter
      • List
      • Map
      • Set
      • T
      • Tbl
    • Pass_wrapper
    • Polling
    • Printclambda
    • Printclambda_primitives
    • Printcmm
    • Printlinear
    • Printmach
    • Proc
    • Projection
      • Map
      • Set
      • T
      • Tbl
    • Ref_to_variables
    • Reg
      • Map
      • Raw_name
      • Set
    • Reg_availability_set
    • Reg_with_debug_info
      • Debug_info
      • Map_distinguishing_names_and_locations
      • Set
      • Set_distinguishing_names_and_locations
    • Reload
    • Reloadgen
      • reload_generic
    • Remove_free_vars_equal_to_args
    • Remove_unused_arguments
    • Remove_unused_closure_vars
    • Remove_unused_program_constructs
    • Schedgen
      • scheduler_generic
    • Scheduling
    • Selectgen
      • Coeffect
      • Effect
      • Effect_and_coeffect
      • selector_generic
    • Selection
    • Semantics_of_primitives
    • Set_of_closures_id
      • Map
      • Set
      • T
      • Tbl
    • Set_of_closures_origin
      • Map
      • Set
      • T
      • Tbl
    • Share_constants
    • Simple_value_approx
    • Simplify_boxed_integer_ops
      • Simplify_boxed_int32
      • Simplify_boxed_int64
      • Simplify_boxed_nativeint
    • Simplify_common
    • Simplify_primitives
    • Spill
    • Split
    • Static_exception
      • Map
      • Set
      • T
      • Tbl
    • Strmatch
      • I
      • Make
        • _
    • Symbol
      • Map
      • Set
      • T
      • Tbl
    • Tag
      • Map
      • Set
      • T
      • Tbl
    • Traverse_for_exported_symbols
    • Un_anf
    • Unbox_closures
    • Unbox_free_vars_of_closures
    • Unbox_specialised_args
    • Var_within_closure
      • Map
      • Set
      • T
      • Tbl
    • Variable
      • Map
      • Pair
        • Map
        • Set
        • T
        • Tbl
      • Set
      • T
      • Tbl
    • X86_dsl
      • D
      • I
    • X86_gas
    • X86_masm
    • X86_proc
  • ocamltoplevel
    • Genprintval
      • EVALPATH
      • Make
        • O
        • _
      • OBJ
      • S
    • Topdirs
    • Toploop
    • Topmain
    • Trace
  • odoc_info
    • Odoc_analyse
    • Odoc_ast
      • Analyser
        • _
      • Typedtree_search
    • Odoc_class
    • Odoc_comments
      • Basic_info_retriever
      • Texter
    • Odoc_comments_global
    • Odoc_config
    • Odoc_control
    • Odoc_cross
    • Odoc_dep
      • Dep
    • Odoc_env
    • Odoc_exception
    • Odoc_extension
    • Odoc_global
    • Odoc_info
      • Class
      • Dep
      • Exception
      • Extension
      • Global
      • Module
      • Name
      • Parameter
      • Scan
        • scanner
      • Search
      • Type
      • Value
    • Odoc_inherit
    • Odoc_lexer
    • Odoc_merge
    • Odoc_messages
    • Odoc_misc
    • Odoc_module
    • Odoc_name
      • Map
    • Odoc_parameter
    • Odoc_parser
    • Odoc_print
    • Odoc_scan
      • scanner
    • Odoc_search
      • P_name
      • Predicates
      • Search
        • P
      • Search_by_name
    • Odoc_see_lexer
    • Odoc_sig
      • Analyser
        • _
      • Info_retriever
      • Signature_search
    • Odoc_str
    • Odoc_text
      • Texter
    • Odoc_text_lexer
    • Odoc_text_parser
    • Odoc_type
    • Odoc_types
    • Odoc_value
  • stdlib
    • CamlinternalAtomic
    • CamlinternalFormat
    • CamlinternalFormatBasics
    • CamlinternalLazy
    • CamlinternalMod
    • CamlinternalOO
    • Stdlib
      • Arg
      • Array
      • ArrayLabels
      • Atomic
      • Bigarray
        • Array0
        • Array1
        • Array2
        • Array3
        • Genarray
      • Bool
      • Buffer
      • Bytes
      • BytesLabels
      • Callback
      • Char
      • Complex
      • Condition
      • Digest
      • Domain
        • DLS
        • Sync
      • EffectHandlers
        • Deep
        • Shallow
      • Either
      • Ephemeron
        • GenHashTable
          • MakeSeeded
            • H
        • K1
          • Make
            • H
          • MakeSeeded
            • H
        • K2
          • Make
            • H1
            • H2
          • MakeSeeded
            • H1
            • H2
        • Kn
          • Make
            • H
          • MakeSeeded
            • H
        • S
        • SeededS
      • Filename
      • Float
        • Array
        • ArrayLabels
      • Format
      • Fun
      • Gc
        • Memprof
      • Genlex
      • Hashtbl
        • HashedType
        • Make
          • H
        • MakeSeeded
          • H
        • S
        • SeededHashedType
        • SeededS
      • Int
      • Int32
      • Int64
      • LargeFile
      • Lazy
      • Lexing
      • List
      • ListLabels
      • Map
        • Make
          • Ord
        • OrderedType
        • S
      • Marshal
      • MoreLabels
        • Hashtbl
          • HashedType
          • Make
            • H
          • MakeSeeded
            • H
          • S
          • SeededHashedType
          • SeededS
        • Map
          • Make
            • Ord
          • OrderedType
          • S
        • Set
          • Make
            • Ord
          • OrderedType
          • S
      • Mutex
      • Nativeint
      • Obj
        • Closure
        • Ephemeron
        • Extension_constructor
      • Oo
      • Option
      • Parsing
      • Pervasives
      • Printexc
        • Slot
      • Printf
      • Queue