Typed.Unsafe
val wrap : Expr.t -> 'a expr
wrap e promotes a raw untyped expression e to a typed expression. Warning. This is unsafe because it bypasses the type checker.
wrap e
e
val unwrap : 'a expr -> Expr.t
unwrap e extracts the raw untyped expression from a typed expression e.
unwrap e