package smtml

You can search for identifiers within the package.

in-package search v0.2.0

Module `Smtml.Feature`Source

Sourceval of_unop : Ty.Unop.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_binop : Ty.Binop.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_triop : Ty.Triop.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_relop : Ty.Relop.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_cvtop : Ty.Cvtop.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_ty : Ty.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_naryop : Ty.Naryop.t -> Smtzilla_utils.Feature_map.feat

Sourceval of_expr_kind : Expr.expr -> 'a -> Smtzilla_utils.Feature_map.feat

Sourceval feats_to_str : string -> bool -> Smtzilla_utils.Feature_map.t -> string

Sourceval all_feature_names : string list