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

sha256=dec62a3cd0cd42cfe96ec64b3cd3961e0e8a09fb92ceb64175cffb54fde50e40

Sourceval pannot_to_annotations : Syntax.pannotations -> Annotations.annotations

Remove expressions from annotations. Raises HiError when it encounters too complex expressions.

val process_f_annot : 
  Location.t ->
  string ->
  FInfo.call_conv ->
  Syntax.pannotations ->
  FInfo.f_annot

Extracts a few well-known attributes from the annotation of a function.