package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception DivideByZero
exception Value of Ty.t
exception TypeError of int * Value.t * Ty.t
val unop : Ty.t -> Ty.unop -> Value.t -> Value.t
val binop : Ty.t -> Ty.binop -> Value.t -> Value.t -> Value.t
val triop : Ty.t -> Ty.triop -> Value.t -> Value.t -> Value.t -> Value.t
val relop : Ty.t -> Ty.relop -> Value.t -> Value.t -> bool
val cvtop : Ty.t -> Ty.cvtop -> Value.t -> Value.t
OCaml

Innovation. Community. Security.