Documentation

Fields

maxExprDepth :: Int

 

maxBuffSize :: Int

 

maxTriggers :: Int

 

maxTrigArgs :: Int

 

maxExtVars :: Int

 

maxObservers :: Int

 

numStreams :: Int

 

constFreq :: Int

 

extVarFreq :: Int

 

drop0Freq :: Int

 

dropFreq :: Int

 

externFreq :: Int

 

op1Freq :: Int

 

op2Freq :: Int

 

op3Freq :: Int

 

boolFreq :: Int

 

int8Freq :: Int

 

int16Freq :: Int

 

int32Freq :: Int

 

int64Freq :: Int

 

word8Freq :: Int

 

word16Freq :: Int

 

word32Freq :: Int

 

word64Freq :: Int

 

floatFreq :: Int

 

doubleFreq :: Int

 

divModFreq :: Bool