lib/prelude.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

$ifndef _PRELUDE
$define _PRELUDE

$include <flow.sail>

$ifdef _DEFAULT_DEC
$include <vector_dec.sail>
$else
$include <vector_inc.sail>
$endif

$include <arith.sail>

$include <option.sail>

$endif