mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-06 06:48:48 +00:00
6 lines
152 B
OCaml
6 lines
152 B
OCaml
open GT
|
|
open Expr
|
|
open Embedding
|
|
|
|
let state ps = List.fold_right (fun (x, v) s -> update x v s) ps empty
|
|
let eval s e = Printf.printf "%d\n" (eval s e)
|