diff options
Diffstat (limited to 'lib/branch.mli')
| -rw-r--r-- | lib/branch.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/branch.mli b/lib/branch.mli index a60d91e..82542da 100644 --- a/lib/branch.mli +++ b/lib/branch.mli @@ -23,7 +23,7 @@ val find : t -> ?at:Term.t -> string -> World.def option REPL elaboration rule of decision 7. *) val transition : t -> string -> Pattern.t Label.Map.t -> World.transition_result option -(** [Insert relation: "R" tuple: {...} before: S after: S']: checks +(** [Insert relation: #R tuple: {...} before: S after: S']: checks the tuple against the relation's schema (integrity at the transition, decision 3), stores the successor state, and returns its digest for the VM to unify with [after:]. Stuck |