Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » SecurityAnnotations » Parse

Module `SecurityAnnotations.Parse`Source

Sourceval simple_level : simple_level Angstrom.t

Sourceval level : level Angstrom.t

Sourceval typ : typ Angstrom.t

Sourceval signature : signature Angstrom.t

Sourceval string : string -> signature option