package libsail

You can search for identifiers within the package.

in-package search v0.2.0

Sail is a language for describing the instruction semantics of processors

Install

dune-project

Dependency

sha256=0b223ed83f521ad87eaacd88186390fbaf0b944f63c6a04a3ebdf96a1ff5a60c

sha512=83298218175c7a9ff7f0a304021287a2b9c20523cb16e1b8bf0ede81fa8e256a32b309626bc1553a5b46d68e44821524c27a5de0fb2f2d7f013025f61ce76519

Sourcetype t

val create : 
  ?prefix:string list ->
  ?hide_prefix:bool ->
  ?debug:bool ->
  ?hide:bool ->
  ?arg:string ->
  ?override:string ->
  string ->
  t

Sourceval to_arg : (t * Arg.spec * string) -> Arg.key * Arg.spec * Arg.doc