Content - 5abbdf1b0ee9166abe97b70b9c2f921f2c5f1a78 - 4f63be5/code/curve25519/Hacl.Impl.Curve25519.Field64.Hacl.fsti

visit type:

Tip revision: 4aa2697e433307fe5c25493c16d93f35ce9ca4d7 authored by Son HO on 01 September 2020, 11:59:04 UTC
Merge branch 'master' into son_blake

Tip revision: 4aa2697

Hacl.Impl.Curve25519.Field64.Hacl.fsti

module Hacl.Impl.Curve25519.Field64.Hacl

open Hacl.Impl.Curve25519.Fields.Core

val add1_: add1_t True
val fadd_: fadd_t M64 True
val fsub_: fsub_t M64 True
val fmul_: fmul_t M64 True
val fmul2_: fmul2_t M64 True
val fmul1_: fmul1_t M64 True
val fsqr_: fsqr_t M64 True
val fsqr2_: fsqr2_t M64 True
val cswap2_: cswap2_t M64 True

Browse the archive

https://github.com/project-everest/hacl-star