Utils (p.jasmin.2025.06.2.doc.jasmin.jasmin.Jasmin.Utils)

Sourcemodule Set : sig ... end

Sourcemodule Map : sig ... end

Sourcemodule Hash : sig ... end

Sourcemodule Sint : Set.S with type elt = int

Sourcemodule Mint : Map.S with type key = int

Sourcemodule Ss : Set.S with type elt = string

Sourcemodule Ms : Map.S with type key = string

Sourcemodule Hiloc : Hash.S with type key = Location.i_loc

Sourcemodule Miloc : Map.S with type key = Location.i_loc

Sourcemodule Siloc : Set.S with type elt = Location.i_loc

Sourcemodule Option : sig ... end

Sourceval identity : 'a -> 'a

Sourceval (|-) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b

Sourcetype 'a tuple0 = unit

Sourcetype 'a tuple1 = 'a

Sourcetype 'a tuple2 = 'a * 'a

Sourcetype 'a tuple3 = 'a * 'a * 'a

Sourcetype 'a pair = 'a tuple2

Sourceval as_seq0 : 'a list -> 'a tuple0

Sourceval as_seq1 : 'a list -> 'a tuple1

Sourceval as_seq2 : 'a list -> 'a tuple2

Sourceval as_seq3 : 'a list -> 'a tuple3

Sourceval oget : ?exn:exn -> 'a option -> 'a

Sourcemodule Uniq : sig ... end

Sourcemodule ISet : sig ... end

Sourcemodule String : sig ... end

Sourcemodule IO : sig ... end

Sourcemodule Buffer : sig ... end

Sourcemodule List : sig ... end

Sourcetype 'a pp = Format.formatter -> 'a -> unit

Sourceval pp_list : ('a, 'b, 'c, 'd, 'd, 'a) format6 -> 'e pp -> 'e list pp

Sourceval pp_paren : 'a pp -> 'a pp

Sourceval pp_string : string pp

Sourcetype architecture =

| X86_64
| ARM_M4
| RISCV

Sourcetype model =

| ConstantTime
| ConstantTimeGlobal
| Normal

Sourceval enable_colors : unit -> unit

Sourcetype error_loc =

| Lnone
| Lone of Location.t
| Lmore of Location.i_loc

Sourcetype hierror = {

err_msg : Format.formatter -> unit;
err_loc : error_loc;
err_funname : string option;
err_kind : string;
err_sub_kind : string option;
err_internal : bool;

}

Sourceexception HiError of hierror

Sourceval add_iloc : hierror -> Location.i_loc -> hierror

Sourceval pp_hierror : Format.formatter -> hierror -> unit

Source

val pp_print_bold_red : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a ->
  unit

Source

val hierror : 
  loc:error_loc ->
  ?funname:string ->
  kind:string ->
  ?sub_kind:string ->
  ?internal:bool ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

Sourceval pp_now : Format.formatter -> unit

Sourcetype warning =

| ExtraAssignment
| UseLea
| IntroduceArrayCopy
| InlinedCallToExport
| KeptRenaming
| SimplifyVectorSuffix
| DuplicateVar
| UnusedVar
| SCTchecker
| Linter
| Deprecated
| Experimental
| Always
| PedanticPretyping

Sourceval set_warn_recoverable : bool -> unit

Sourceval set_all_warnings : unit -> unit

Sourceval nowarning : unit -> unit

Sourceval add_warning : warning -> unit -> unit

Sourceval remove_warning : warning -> unit

Sourceval to_warn : warning -> bool

Source

val warning : 
  warning ->
  Location.i_loc ->
  ('a, Format.formatter, unit) format ->
  'a