File: reference-type.sail

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (27 lines) | stat: -rw-r--r-- 722 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
default Order dec

$include <flow.sail>
$include <vector_dec.sail>

type cap_uperms_width : Int = 4
let cap_uperms_width = sizeof(cap_uperms_width)

/*!
 * - Ref to [cap_uperms_width]
 * - Ref to [description][cap_uperms_width]
 * - Ref to [type description][type cap_uperms_width]
 * - Ref to % FIXME: this should be using type\_description [type_description][type_cap_uperms_width]
 * - Ref to \sailreftype{cap_uperms_width}{uperms\_width}
 * - Ref to \sailreftype{cap\_uperms\_width}{uperms\_width}
 */
function main() -> unit = return(())

/*!
 * - [NAME]
 * - [THIS]
 * - [NAME][NOT NAME]
 * - [THIS][NOT THIS]
 * - [NOT NAME][NAME]
 * - [NOT THIS][THIS]
 */
function function_with_underscores() -> unit = return(())