diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 27205c2e..cfc8d748 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -1013,6 +1013,8 @@ let initial_typ_env = {t= Tfn ({t=Ttup([bit_t;mk_range (mk_nv "n") (mk_nv "m")])}, mk_vector bit_t Oinc (Nconst zero) (Nadd({nexp=Nvar "n"},{nexp=Nvar "m"})),false, pure_e)}),External (Some "duplicate"),[],pure_e)); + ("<<",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e)); + (">>",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e)); ("<<<",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e)); ] |