package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val register : switch option -> 'a Lwt_sequence.t -> 'a -> unitval stop : switch -> unitval exec_callbacks : ('a -> unit) Lwt_sequence.t -> 'a -> unitapply_callbacks callbacks x
val exec_filters : ('a -> bool) Lwt_sequence.t -> 'a -> bool