module Spec.Frodo.Test

open FStar.All

val test: unit -> ML bool