package encoding

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

}

and expr =

val (@:) : expr -> Ty.t -> t

val mk_symbol : Symbol.t -> t

val is_num : t -> bool

val equal : t -> t -> bool

val get_symbols : t list -> Symbol.t list

val negate_relop : t -> (t, string) Result.t

module Pp : sig ... end

val pp : Format.formatter -> t -> unit

val pp_list : Format.formatter -> t list -> unit

val pp_smt : Format.formatter -> t list -> unit

val to_string : t -> string

val simplify_binop : Ty.t -> Ty.binop -> t -> t -> expr

val simplify_relop : Ty.t -> Ty.relop -> t -> t -> expr

val nland64 : int64 -> int -> int64

val nland32 : int32 -> int -> int32

val simplify_extract : t -> int -> int -> expr

val simplify_concat : t -> t -> expr

val simplify : ?extract:bool -> t -> t

module Infix : sig ... end

module Bitv : sig ... end