Resource Aware ML, Version 1.4.2, July 2018

Typechecking module ...
  Typecheck successful.
  Stack-based typecheck successful.

Analyzing function eval2 ...

  Trying degree: 1

== eval2 :

  [int; bool; int; bool; bool_expr] -> bool

  Non-zero annotations of the argument:
     14.00  <--  (*, *, *, *, [Not(*)])
     32.00  <--  (*, *, *, *, [And(*)])
     32.00  <--  (*, *, *, *, [Or(*)])
     11.00  <--  (*, *, *, *, [])

  Non-zero annotations of result:

  Simplified bound:
     11.00 + 32.00*K + 32.00*L + 14.00*M
   where
     L is the number of Or-nodes of the 5th component of the argument
     K is the number of And-nodes of the 5th component of the argument
     M is the number of Not-nodes of the 5th component of the argument

--
  Mode:          lower
  Metric:        steps
  Degree:        1
  Run time:      0.03 seconds
  #Constraints:  155

====

Analyzing function table2 ...

  Trying degree: 1

== table2 :

  [int; int; bool_expr] -> (bool * bool * bool) list

  Non-zero annotations of the argument:
     56.00  <--  (*, *, [Not(*)])
    128.00  <--  (*, *, [And(*)])
    128.00  <--  (*, *, [Or(*)])
     93.00  <--  (*, *, [])

  Non-zero annotations of result:

  Simplified bound:
     93.00 + 128.00*K + 128.00*L + 56.00*M
   where
     L is the number of Or-nodes of the 3rd component of the argument
     K is the number of And-nodes of the 3rd component of the argument
     M is the number of Not-nodes of the 3rd component of the argument

--
  Mode:          lower
  Metric:        steps
  Degree:        1
  Run time:      0.11 seconds
  #Constraints:  682

====