package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Build.TupleSource

Sourceval get_integer : int -> tuple -> Operator.Function_symbol.integer t
Sourceval get_boolean : int -> tuple -> Operator.Function_symbol.boolean t
Sourceval 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
Sourceval mu : level:int -> init:tuple -> var:tuple -> body:tuple -> body_cond:Operator.Function_symbol.boolean t -> tuple