public static TypeIsa BoogieFuncInterpType(TypeIsa absValType)
{
return(new ArrowType(IsaCommonTypes.GetListType(BoogieType()),
new ArrowType(IsaCommonTypes.GetListType(ValType(absValType)),
IsaCommonTypes.GetOptionType(ValType(absValType)))
));
}
public static TypeIsa BoogieClosedType()
{
return(IsaCommonTypes.GetDataTypeNoArg("closed_ty"));
}
public static TypeIsa CFGNodeOrReturnType()
{
return(new SumType(GetCFGNodeType(), IsaCommonTypes.GetUnitType()));
}
public static TypeIsa StateType(TypeIsa absValType)
{
return(IsaCommonTypes.GetDataTypeSingle("state", absValType));
}
public static TypeIsa BoogieType()
{
return(IsaCommonTypes.GetDataTypeNoArg("ty"));
}
public static TypeIsa FnameType()
{
return(IsaCommonTypes.GetDataTypeNoArg("fname"));
}