Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » Operations

Module `Asllib.Operations`Source

Sourceval value_as_int : 'a AST.annotated -> AST.literal -> int

Sourceval is_positive : Z.t -> bool

Sourceval is_strict_positive : Z.t -> bool

Sourceval bv_same_length : Bitvector.t -> Bitvector.t -> bool

Sourceval exp_real : Q.t -> Z.t -> Q.t

val binop_values : 
  'a AST.annotated ->
  Error.error_handling_time ->
  AST.binop ->
  AST.literal ->
  AST.literal ->
  AST.literal

val unop_values : 
  'a AST.annotated ->
  Error.error_handling_time ->
  AST.unop ->
  AST.literal ->
  AST.literal