anchor.diff:  module Workflow
  +open System
   
   // The types of relations the events can know of
   type Relation =             // The internal string is a http address
  
positive.code:     printfn "============= Status =============="
      Map.iter (
          fun k v ->
              printfn "%s %s %s %s" (if v.executable then "->" else "| ") (if v.executed then "x" else " ") k (if v.pending then "!" else "")
      ) state
  
  // Creates a new event
  
negative.code: // Attempts to get information about an event
  let tryGet (event: string) (state: Workflow) =
      match Map.tryFind event state with
      | Some event -> Some (event.executed.IsSome, event.executable, event.pending)
      | None -> None
  
  // Returns the names of the nodes as a string
  