public FactionType(System.Int32 n)
{JustEntered = false;
frame = World.frame;
Option<System.Int32> ___neutral00;
if(((n) == (0)))
{
___neutral00 = (new Just<System.Int32>(n));
}else
{
___neutral00 = (new Nothing<System.Int32>());
}
Option<System.Int32> ___aggressive00;
if(((n) == (1)))
{
___aggressive00 = (new Just<System.Int32>(n));
}else
{
___aggressive00 = (new Nothing<System.Int32>());
}
Option<System.Int32> ___defensive00;
if(((n) == (2)))
{
___defensive00 = (new Just<System.Int32>(n));
}else
{
___defensive00 = (new Nothing<System.Int32>());
}
Neutral = ___neutral00;
Defensive = ___defensive00;
Aggressive = ___aggressive00;
}
public Option<System.Int32> Aggressive;