cryptol-2.4.0: Cryptol: The Language of Cryptography
Cryptol.TypeCheck.Instantiate
Description
instantiateWith :: Expr -> Schema -> [Located (Maybe Ident, Type)] -> InferM (Expr, Type) Source #