CristalCaveGem » LustreC

let mkassert x = mkassert (Location.symbol_rloc ()) x

let mktop_decl x = mktop_decl (Location.symbol_rloc ()) x

let mkpredef_call x = mkpredef_call (Location.symbol_rloc ()) x

let mkdim_int i = mkdim_int (Location.symbol_rloc ()) i

let mkdim_bool b = mkdim_bool (Location.symbol_rloc ()) b

| expr XOR expr 

    {mkpredef_call "xor" [$1;$3]}

| NOT expr 

| expr IMPL expr 

    {mkpredef_call "impl" [$1;$3]}

| expr DIV expr 

    {mkpredef_call "/" [$1;$3]}

| MINUS expr %prec UMINUS

| expr MOD expr 

    {mkpredef_call "mod" [$1;$3]}