links

The Links Programming Language
IN THIS PACKAGE
val option : 'self_type -> ( 'self_type -> 'a -> 'self_type * 'a * Types.datatype ) -> 'a option -> 'self_type * 'a option * Types.datatype option
val optionu : 'self_type -> ( 'self_type -> 'a -> 'self_type * 'a ) -> 'a option -> 'self_type * 'a option
val list : 'self_type -> ( 'self_type -> 'a -> 'self_type * 'a * Types.datatype ) -> 'a list -> 'self_type * 'a list * Types.datatype list
val listu : 'self_type -> ( 'self_type -> 'a -> 'self_type * 'a ) -> 'a list -> 'self_type * 'a list
class transform : Types.typing_environment -> object ... end
val fun_effects : Types.datatype -> Sugartypes.Pattern.with_pos list list -> Types.row