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

exception DivideByZero

exception Num of Ty.t

exception TypeError of int * Num.t * Ty.t

val eval_unop : Ty.t -> Ty.unop -> Num.t -> Num.t

val eval_binop : Ty.t -> Ty.binop -> Num.t -> Num.t -> Num.t

val eval_relop : Ty.t -> Ty.relop -> Num.t -> Num.t -> bool

val eval_cvtop : Ty.t -> Ty.cvtop -> Num.t -> Num.t