val list_contains : x: _ -> _: Prims.list _ -> Prims.bool
let list_contains = mem
module Spec.List

open FStar.Calc
open FStar.List.Tot
open Spec.Ubool
/
Spec.Ubool.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked FStar.List.Tot.fst.checked FStar.Calc.fsti.checked
Spec.List.fst
x: _ -> _: Prims.list _ -> Prims.bool
Prims.eqtype FStar.List.Tot.Base.mem Prims.list Prims.bool
let list_contains =
  
mem