Module Katbb_lib.Ast

type test = {
var : Base.string;
value : Base.bool;
}
and act = test
and bexp = test Kat.Ast.bexp
and exp = (act, test) Kat.Ast.exp
val test_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> act
val act_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> act
val bexp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> bexp
val exp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> exp
val sexp_of_test : act -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_act : act -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_bexp : bexp -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_exp : exp -> Ppx_sexp_conv_lib.Sexp.t
val compare_test : act -> act -> Base.int
val compare_act : act -> act -> Base.int
val compare_bexp : bexp -> bexp -> Base.int
val compare_exp : exp -> exp -> Base.int
val equal_test : act -> act -> Base.bool
val equal_act : act -> act -> Base.bool
val equal_bexp : bexp -> bexp -> Base.bool
val equal_exp : exp -> exp -> Base.bool
val hash_fold_test : Ppx_hash_lib.Std.Hash.state -> act -> Ppx_hash_lib.Std.Hash.state
val hash_fold_act : Ppx_hash_lib.Std.Hash.state -> act -> Ppx_hash_lib.Std.Hash.state
val hash_fold_bexp : Ppx_hash_lib.Std.Hash.state -> bexp -> Ppx_hash_lib.Std.Hash.state
val hash_fold_exp : Ppx_hash_lib.Std.Hash.state -> exp -> Ppx_hash_lib.Std.Hash.state
val hash_test : act -> Ppx_hash_lib.Std.Hash.hash_value
val hash_act : act -> Ppx_hash_lib.Std.Hash.hash_value
val hash_bexp : bexp -> Ppx_hash_lib.Std.Hash.hash_value
val hash_exp : exp -> Ppx_hash_lib.Std.Hash.hash_value