val contains_ubool : x: _ -> l: Prims.list _ -> Type0
let contains_ubool = memP
module Spec.List

open FStar.Calc
open FStar.List.Tot
open Spec.Ubool

let list_len = length
/
Spec.Ubool.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked FStar.List.Tot.fst.checked FStar.Calc.fsti.checked
Spec.List.fst
x: _ -> l: Prims.list _ -> Type0
FStar.List.Tot.Base.memP Prims.list
let contains_ubool =
  
memP