public IInterpetedOperation <IInterpetedAnyType> ConstantBool(IConstantBool constantBool)
{
if (backing.TryGetValue(constantBool, out var res))
{
return(res);
}
else
{
var op = new InterpetedConstantBool();
backing.Add(constantBool, op);
op.Init(constantBool.Value);
return(op);
}
}
public IReadOnlyList <IMemberDefinition> ConstantBool(IConstantBool constantBool) => new List <IMemberDefinition>();
// deadends: public Nothing ConstantBool(IConstantBool constantBool) => new Nothing();
public Nothing ConstantBool(IConstantBool constantBool)
{
return(new Nothing());
}
