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