package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type Colibri2_core.Builtin.t +=

val array_diff : Dolmen_std.Expr.term_cst

val array_const : Dolmen_std.Expr.term_cst

val array_map : int -> Dolmen_std.Expr.term_cst

val array_default_index : Dolmen_std.Expr.term_cst

val array_default_value : Dolmen_std.Expr.term_cst

val apply_array_diff : 
  Colibri2_core.Expr.term ->
  Colibri2_core.Expr.term ->
  Colibri2_core.Expr.term

val apply_array_const : Colibri2_core.Expr.term -> Colibri2_core.Expr.term

val apply_array_def_index : Colibri2_core.Expr.term -> Colibri2_core.Expr.term

val apply_array_def_value : Colibri2_core.Expr.term -> Colibri2_core.Expr.term

val apply_array_map : 
  int ->
  Colibri2_core.Expr.term ->
  Colibri2_core.Expr.term list ->
  Colibri2_core.Expr.term