Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module MRlist : sig ... end
val zero : Num.num
val one : Num.num
val two : Num.num
val three : Num.num
val four : Num.num
val miller_rabin : int -> Num.num -> bool
val fermat : int -> Num.num -> bool
val naive : Num.num -> bool
val make : (Num.num -> bool) -> Num.num -> Num.num LazyList.t
val head : 'a LazyList.t -> 'a
val tail : 'a LazyList.t -> 'a LazyList.t
val nth : 'a LazyList.t -> int -> 'a