Module `Katbv_lib.Ast`

type test = | Interval of Base.string * Bitstring.t * Bitstring.t | Test of Base.string * Bitstring.t * Bitstring.t
and act = Base.string * Bitstring.t * Bitstring.t
and bexp = test Kat.Ast.bexp
and exp = (act, test) Kat.Ast.exp

val test_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> test
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 : test -> 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