package smtml

  1. Overview
  2. Docs
type elt = int64
val eb : int
val sb : int
val v : elt -> M.term M.t
val unop : Ty.unop -> M.term -> M.term M.t
val binop : Ty.binop -> M.term -> M.term -> M.term M.t
val triop : Ty.triop -> 'a -> 'b
val relop : Ty.relop -> M.term -> M.term -> M.term M.t
val cvtop : Ty.cvtop -> M.term -> M.term M.t
OCaml

Innovation. Community. Security.