Up
–
Package index
»
jasmin
» Library
jasmin.jasmin
»
Jasmin
»
Utils
» Uniq
Module
Utils.Uniq
Source
jasmin
README
Library
jasmin.jasmin
Jasmin
Alias
Allocation
Annot
Annotations
Arch_decl
Arch_extra
Arch_full
Arch_params
Arch_utils
Arm
Arm_arch_full
Arm_decl
Arm_expand_imm
Arm_extra
Arm_instr_decl
Arm_lowering
Arm_params
Arm_params_common
Arm_params_core
Arm_stack_zeroization
Array_copy
Array_expand
Array_expansion
Array_init
Ascii
AsmTargetBuilder
Asm_gen
Asm_utils
Bigop
BinInt
BinNat
BinNums
BinPos
BinPosDef
Bool
CLI_errors
CMorphisms
CRelationClasses
CheckAnnot
Choice
Compile
Compiler
Compiler_util
Constant_prop
Constraints
Conv
CoreArchFactory
CoreConv
CoreIdent
Ct_checker_forward
Datatypes
Dead_calls
Dead_code
DebugInfo
DecidableType
Div
EqbOK
Eqb_core_defs
EqdepFacts
Eqtype
Equalities
Evaluator
Expr
FInfo
FMapAVL
FMapFacts
FMapList
Fexpr
Finfun
Fintype
Flag_combination
Gen_map
Glob_options
Global
Help
IInfo
Ident
Init
Inline
Insert_copy_and_fix_length
Int
Interval
IntervalGraphColoring
Label
Label_check
Latex_printer
Lea
Lexer
Linear
Linear_util
Linearization
List0
Liveness
Load_constants_in_cond
Location
Low_memory
Lower_spill
Lowering
MSetDecide
MSetEqProperties
MSetFacts
MSetInterface
MSetProperties
MakeReferenceArguments
Memory_example
Memory_model
Merge_varmaps
Nat0
One_varmap
Order
OrderedType
Orders
OrdersTac
Oseq
Param1
Param1_trivial
Parseio
Parser
PeanoNat
Post_unrolling_check
Pp_arm_m4
Pp_riscv
Pp_stack_alloc
Pp_x86
Prelude
Pretyping
PrimInt63
PrintASM
PrintCommon
PrintFexpr
PrintLinear
Printer
Prog
Propagate_inline
Psem_defs
Pseudo_operator
Puf
Regalloc
RemoveUnusedResults
Remove_globals
Riscv
Riscv_arch_full
Riscv_decl
Riscv_extra
Riscv_instr_decl
Riscv_lower_addressing
Riscv_lowering
Riscv_params
Riscv_params_common
Riscv_params_core
Riscv_stack_zeroization
Sct_checker_forward
SecurityAnnotations
Sem_op_typed
Sem_params
Sem_params_of_arch_extra
Sem_type
Seq
Seq_extra
Sha256
Shift_kind
Slh_lowering
Slh_ops
Slicing
Sopn
Specif
Ssa
Ssralg
Ssrbool
Ssreflect
Ssrfun
Ssrint
Ssrnat
Ssrnum
StackAlloc
Stack_alloc
Stack_alloc_params
Stack_zero_strategy
Stack_zeroization
Std
String0
Subst
Sumbool
Syntax
Syscall
Syscall_ocaml
Syscall_sem
Syscall_t
Tagged
ToEC
Tt_arm_m4
Tunneling
Tuple
Type
Typing
Uint0
UnionFindBasic
Unionfind
Unrolling
Utils
Set
Map
Hash
Sint
Mint
Ss
Ms
Hiloc
Miloc
Siloc
Option
Uniq
ISet
String
IO
Buffer
List
Utils0
Values
Var0
Varalloc
Varmap
Waes
Warray_
Wint_int
Wint_word
Word
Word0
Word_ssrZ
Wsize
X86
X86_arch_full
X86_decl
X86_extra
X86_instr_decl
X86_lowering
X86_params
X86_stack_zeroization
Xseq
Zpower
Library
jasmin.uint63
Uint63
Library
jasmin.uint63-js
Uint63
Library
jasmin.uint63-native
Uint63
Sources
Source
val
gen :
unit
->
int