package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Smtml.Dolmenexpr_to_exprSource

module DExpr = Dolmen_std.Expr
module DTy = DExpr.Ty
module DTerm = DExpr.Term
Sourcemodule Builtin : sig ... end
Sourcemodule DolmenIntf : sig ... end
Sourceval tty_of_etype : Ty.t -> DTerm.ty
Sourceval tty_to_etype : DTerm.ty -> Ty.t
module SHT : Smtml_prelude.Hashtbl.S with type key = Smtml.Symbol.t
Sourceval sym_cache : DTerm.Const.t SHT.t
Sourceval tcst_of_symbol : Symbol.t -> DTerm.Const.t
Sourceval tcst_to_symbol : DExpr.term_cst -> Symbol.t
Sourcetype expr = DExpr.term
Sourceval encode_val : Value.t -> expr
Sourceval encode_unop : Ty.t -> Ty.Unop.t -> expr -> expr
Sourceval encode_binop : Ty.t -> Ty.Binop.t -> expr -> expr -> expr
Sourceval encode_triop : Ty.t -> Ty.Triop.t -> expr -> expr -> expr -> expr
Sourceval encode_relop : Ty.t -> Ty.Relop.t -> expr -> expr -> expr
Sourceval encode_cvtop : Ty.t -> Ty.Cvtop.t -> expr -> expr
Sourceval encode_expr_acc : ?record_sym:('a -> DTerm.Const.t -> 'a) -> 'a -> Expr.t -> 'a * expr
Sourceval encode_expr : ?record_sym:(DExpr.term_cst -> unit) -> Expr.t -> expr