Searched defs:uniform (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/src/metis/
H A DmlibTermorder.sml51 val uniform : string * int -> int = fn _ => 1; value
H A DmlibUseful.sig183 val uniform : unit -> real value
H A DmlibUseful.sml697 fun uniform () = Random.random gen; function
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sig367 val uniform : unit -> real value
H A DUseful.sml775 fun uniform () = Random.random gen; function

Completed in 46 milliseconds