1 2 3 4 5
module Core_models.Iter.Sources.Repeat_with val t_RepeatWith: Type0 -> Type0 val repeat_with #t (y: Prims.unit -> t): t_RepeatWith (Prims.unit -> t)