You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

15 lines
288 B

module tiltsys/database
open tiltsys/storage as S
open tiltsys/evaluator as E
sig Database {
storage: one S/Storage,
evaluator: one E/Evaluator
} {
// Capture instances
E/Evaluator in evaluator
S/Storage in storage
pred show [] {}
run show for 3 but 5 S/Node, exactly 1 Database