← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to bundles/stdcompat/stdcompat-current/interfaces/4.01/lazy.mli

  • Committer: Thierry Martinez
  • Date: 2019-08-20 13:37:04 UTC
  • Revision ID: git-v1:0214afad4a32c95349c2c5a38e37cea407c455d0
Update bundles

Show diffs side-by-side

added added

removed removed

Lines of Context:
bundles/stdcompat/stdcompat-current/interfaces/4.01/lazy.mli
 
1
type 'a t = 'a lazy_t
 
2
exception Undefined 
 
3
external force : 'a t -> 'a = "%lazy_force"
 
4
val force_val : 'a t -> 'a
 
5
val from_fun : (unit -> 'a) -> 'a t
 
6
val from_val : 'a -> 'a t
 
7
val is_val : 'a t -> bool
 
8
val lazy_from_fun : (unit -> 'a) -> 'a t
 
9
val lazy_from_val : 'a -> 'a t
 
10
val lazy_is_val : 'a t -> bool