package jasmin

You can search for identifiers within the package.

in-package search v0.2.0

Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project

Dependency

github.com Readme Edit opam file Versions (20)

Authors

J

Jasmin authors and contributors

Maintainers

J

Jean-Christophe Léchenet <jean-christophe.lechenet@inria.fr>

Sources

jasmin-compiler-v2026.03.0.tar.bz2

sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40

doc/jasmin.jasmin/Jasmin/Flag_combination/index.html

Module `Jasmin.Flag_combination`

type combine_flags_core =

| CFC_B
| CFC_E
| CFC_L
| CFC_BE
| CFC_LE

val cf_tbl : Operators.combine_flags -> bool * combine_flags_core

type flag_combination =

| FCVar0
| FCVar1
| FCVar2
| FCVar3
| FCNot of flag_combination
| FCAnd of flag_combination * flag_combination
| FCOr of flag_combination * flag_combination
| FCEq of flag_combination * flag_combination

type coq_FlagCombinationParams = combine_flags_core -> flag_combination

val fc_sem : 
  ('a1 -> 'a1) ->
  ('a1 -> 'a1 -> 'a1) ->
  ('a1 -> 'a1 -> 'a1) ->
  ('a1 -> 'a1 -> 'a1) ->
  'a1 ->
  'a1 ->
  'a1 ->
  'a1 ->
  flag_combination ->
  'a1

val cf_xsem : 
  coq_FlagCombinationParams ->
  ('a1 -> 'a1) ->
  ('a1 -> 'a1 -> 'a1) ->
  ('a1 -> 'a1 -> 'a1) ->
  ('a1 -> 'a1 -> 'a1) ->
  'a1 ->
  'a1 ->
  'a1 ->
  'a1 ->
  Operators.combine_flags ->
  'a1