mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-06 06:48:48 +00:00
7 lines
152 B
OCaml
7 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)
|