Script type alias

lib/ast.ml

@@ -25,6 +25,8 @@ type t =
   | Get_model
   | Set_logic of Ty.logic
 
+type script = t list
+
 let pp fmt (instr : t) =
   match instr with
   | Assert e -> Format.fprintf fmt "(assert @[<h 2>%a@])" Expr.pp e

lib/ast.mli

@@ -25,6 +25,8 @@ type t =
   | Get_model
   | Set_logic of Ty.logic
 
+type script = t list
+
 val pp : Format.formatter -> t -> unit
 
 val to_string : t -> string

lib/interpret.ml

@@ -68,7 +68,7 @@ module Make (Solver : Solver_intf.S) = struct
     | [] -> state
     | stmt :: stmts -> loop (eval stmt { state with stmts })
 
-  let start ?state (stmts : Ast.t list) : exec_state =
+  let start ?state (stmts : Ast.script) : exec_state =
     let st =
       match state with
       | None -> init_state stmts

lib/interpret_intf.ml

@@ -17,7 +17,7 @@
 (***************************************************************************)
 
 type 'a state =
-  { stmts : Ast.t list
+  { stmts : Ast.script
   ; smap : (string, Ty.t) Hashtbl.t
   ; pc : Expr.t list
   ; solver : 'a
@@ -28,7 +28,7 @@ module type S = sig
 
   type exec_state
 
-  val start : ?state:exec_state -> Ast.t list -> exec_state
+  val start : ?state:exec_state -> Ast.script -> exec_state
 end
 
 module type Intf = sig

lib/parse.mli

@@ -16,6 +16,6 @@
 (* along with this program.  If not, see <https://www.gnu.org/licenses/>.  *)
 (***************************************************************************)
 
-val from_file : filename:string -> Ast.t list
+val from_file : filename:string -> Ast.script
 
-val from_string : string -> Ast.t list
+val from_string : string -> Ast.script