diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 10:11:38 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-12 17:56:10 -0300 |
| commit | f52efd20120cf5ceeae28da2c04d57acc6e46f14 (patch) | |
| tree | 90eeaa87042d4aced61feac01b31cf78fcfeba55 /test/test_embedding.ml | |
| parent | e56efc19f71898d798c44b5955fe74451ee0fc6f (diff) | |
| download | SOL-f52efd20120cf5ceeae28da2c04d57acc6e46f14.tar.gz SOL-f52efd20120cf5ceeae28da2c04d57acc6e46f14.zip | |
branch world: state scoped reads, insert transitions, tip commit
Diffstat (limited to 'test/test_embedding.ml')
| -rw-r--r-- | test/test_embedding.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/test_embedding.ml b/test/test_embedding.ml index a2eab95..bb7aee8 100644 --- a/test/test_embedding.ml +++ b/test/test_embedding.ml @@ -32,8 +32,10 @@ module Kernel_world = struct ]; } - let find () name = + let find () ?at:_ name = match name with "Sensor" -> Some sensors | _ -> None + + let transition () _ _ = None end module Kernel_vm = Sol.Vm.Make (Kernel_world) |