package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Build.Tuple`Source

val get_binary : 
  size:Units.In_bits.t ->
  int ->
  tuple ->
  Operator.Function_symbol.binary t

Sourceval get_integer : int -> tuple -> Operator.Function_symbol.integer t

Sourceval get_boolean : int -> tuple -> Operator.Function_symbol.boolean t

Sourceval get_enum : int -> tuple -> Operator.Function_symbol.enum t

Source

val nondet : 
  level:int ->
  conda_bool:Operator.Function_symbol.boolean t ->
  a:tuple ->
  condb_bool:Operator.Function_symbol.boolean t ->
  b:tuple ->
  tuple

Sourceval inductive_vars : widening_id:int -> level:int -> def:tuple -> tuple

Source

val mu : 
  level:int ->
  init:tuple ->
  var:tuple ->
  body:tuple ->
  body_cond:Operator.Function_symbol.boolean t ->
  tuple

package codex

Module Build.TupleSource

Module `Build.Tuple`Source