anchor.diff: -﻿module AlvisSpec
  +module AlvisSpec
   
   type ValueType =   
       | Int of int  
       | Float of float  
       | String of string 
  -    | Bool of bool
  +
   
   type ValueName = {
       Value : ValueType;
  
positive.code:         AgentBody :  Agent;
  }
  
  type  Agents =  AlvisStatement list
  
  
  
  
negative.code:     Looping : Loop option;
      Ports : Port list ;
      Condition : Condition list;
      Assign : Assign list;
      Exit : bool;
  }
  
  type Proc = {
      Condition : Guard option;
      Port : string;
      ProcBody : ConditionBody
  }
  
  