package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val ind_ty_var : Dolmen_std.Expr.ty_var

val val_ty_var : Dolmen_std.Expr.ty_var

val alpha_ty_var : Dolmen_std.Expr.ty_var

val a_ty_var : Dolmen_std.Expr.ty_var

val b_ty_var : Dolmen_std.Expr.ty_var

val c_ty_var : Dolmen_std.Expr.ty_var

val ind_ty : Colibri2_core.Expr.ty

val val_ty : Colibri2_core.Expr.ty

val a_ty : Colibri2_core.Expr.ty

val b_ty : Colibri2_core.Expr.ty

val c_ty : Colibri2_core.Expr.ty

val alpha_ty : Colibri2_core.Expr.ty

val array_ty : Colibri2_core.Expr.ty

val array_ty_ab : Colibri2_core.Expr.ty

val array_ty_ac : Colibri2_core.Expr.ty

val array_ty_alpha : Colibri2_core.Expr.ty

val term_of_var : Dolmen_std.Expr.term_var -> Colibri2_core.Expr.term

val mk_index_var : string -> Dolmen_std.Expr.term_var

val mk_value_var : string -> Dolmen_std.Expr.term_var

val mk_array_var : string -> Dolmen_std.Expr.term_var

val vi : Dolmen_std.Expr.term_var

val vj : Dolmen_std.Expr.term_var

val vk : Dolmen_std.Expr.term_var

val vv : Dolmen_std.Expr.term_var

val ti : Colibri2_core.Expr.term

val tj : Colibri2_core.Expr.term

val tk : Colibri2_core.Expr.term

val tv : Colibri2_core.Expr.term

val va : Dolmen_std.Expr.term_var

val vb : Dolmen_std.Expr.term_var

val ta : Colibri2_core.Expr.term

val tb : Colibri2_core.Expr.term