equal
deleted
inserted
replaced
19 val init_state: state |
19 val init_state: state |
20 val define_blob: string -> string -> state -> state |
20 val define_blob: string -> string -> state -> state |
21 type blob_digest = (string * string option) Exn.result |
21 type blob_digest = (string * string option) Exn.result |
22 val define_command: Document_ID.command -> string -> blob_digest list -> int -> |
22 val define_command: Document_ID.command -> string -> blob_digest list -> int -> |
23 ((int * int) * string) list -> state -> state |
23 ((int * int) * string) list -> state -> state |
|
24 val command_exec: state -> string -> Document_ID.command -> Command.exec option |
24 val remove_versions: Document_ID.version list -> state -> state |
25 val remove_versions: Document_ID.version list -> state -> state |
25 val start_execution: state -> state |
26 val start_execution: state -> state |
26 val update: Document_ID.version -> Document_ID.version -> edit list -> state -> |
27 val update: Document_ID.version -> Document_ID.version -> edit list -> state -> |
27 Document_ID.exec list * (Document_ID.command * Document_ID.exec list) list * state |
28 Document_ID.exec list * (Document_ID.command * Document_ID.exec list) list * state |
28 val state: unit -> state |
29 val state: unit -> state |
403 (case Inttab.lookup commands command_id of |
404 (case Inttab.lookup commands command_id of |
404 NONE => err_undef "command" command_id |
405 NONE => err_undef "command" command_id |
405 | SOME command => command); |
406 | SOME command => command); |
406 |
407 |
407 val the_command_name = #1 oo the_command; |
408 val the_command_name = #1 oo the_command; |
|
409 |
|
410 fun command_exec state node_name command_id = |
|
411 let |
|
412 val State {execution = {version_id, ...}, ...} = state; |
|
413 val node = get_node (nodes_of (the_version state version_id)) node_name; |
|
414 in the_entry node command_id end; |
408 |
415 |
409 end; |
416 end; |
410 |
417 |
411 |
418 |
412 (* remove_versions *) |
419 (* remove_versions *) |