úÎ"*3      !"#$%&'()*+,-./012a3456;The Stmt monad holds variable declarations and statements. 789:;<=>?@Core expressions. ABCDEFGHIJKLMNOPNumber types.  All types. QRS Variables. TU True term.  False term. Arbitrary constants. Logical negation.  Logical AND.  Logical OR. "The conjunction of a E Bool list. "The disjunction of a E Bool list. 1True iff the predicate is true for all elements. 0True iff the predicate is true for any element. Equal.  Not equal.  Less than. Greater than. Less than or equal. Greater than or equal. $Returns the minimum of two numbers. *Returns the minimum of a list of numbers. $Returns the maximum of two numbers. *Returns the maximum of a list of numbers. Limits between min and max. Multiplication. Floating point division. Integer division. Modulo. !;Linear interpolation and extrapolation between two points. "References a variable. #Conditional expression.  mux test onTrue onFalse $Creates a hierarchical scope. VWXY%CInput variable declaration. Input variables are initialized to 0. &Boolean variable declaration. '7Boolean variable declaration and immediate assignment. (Int variable declaration. )3Int variable declaration and immediate assignment. *Float variable declaration. +5Float variable declaration and immediate assignment. ,Increments an E Int. -Decrements an E Int. Z[.!Assert that a condition is true. /)Declare an assumption condition is true. 0Conditional if-else. 1Conditional without the else. 2Generate C code. \]^_`3  !"#$%&'()*+,-./0123 "  #!$&'()*+%01,-./23  !"#$%&'()*+,-./012a      !"#$%&'()*+,-./01234565789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_` improve-0.0.1Language.ImProve<==StmtENumEAllEVNametruefalseconstantnot_&&.||.and_or_all_any_imply==./=.<.>.<=.>=.min_minimum_max_maximum_limit*./.div_mod_linearrefmuxscopeinputboolbool'intint'floatfloat'incrdecrassertassumeifelseif_compileScopeVariableAssign StatementNullAssumeAssertSequenceBranch AssignFloat AssignInt AssignBoolMuxGeLeGtLtEqOrAndNotModDivMulSubAddConstRef showConstshowTypezeroVIngetgetPathputvar statementevalStmtvarNamecodeStmtcodeExprindent codeVariables