[sledge] Add Typ.int

Summary: Not used by core instructions, but useful for modeling.

Reviewed By: mbouaziz

Differential Revision: D14481992

fbshipit-source-id: ace43a44e

sledge/src/llair/typ.ml

@@ -102,6 +102,7 @@ let struct_ =
 
 let bool = integer ~bits:1
 let byt = integer ~bits:8
+let int = integer ~bits:32
 let siz = integer ~bits:64
 
 (** [ptr] is semantically equivalent to [siz], but has a distinct

sledge/src/llair/typ.mli

@@ -35,6 +35,7 @@ include Invariant.S with type t := t
 
 val bool : t
 val byt : t
+val int : t
 val siz : t
 val ptr : t
 val function_ : return:t option -> args:t vector -> t