public BoogieMapType(BoogieType argument, BoogieType result)
{
this.Arguments = new List <BoogieType>();
this.Arguments.Add(argument);
this.Result = result;
}
public BoogieTypedIdent(string name, BoogieType type)
{
this.Name = name;
this.Type = type;
}
public BoogieMapType(List <BoogieType> arguments, BoogieType result)
{
Debug.Assert(arguments != null && arguments.Count > 0);
this.Arguments = arguments;
this.Result = result;
}