lem

Lem is a tool for lightweight executable mathematics
Module Lem_function
val id : 'a -> 'a
val comb : ( 'b -> 'c ) -> ( 'a -> 'b ) -> 'a -> 'c
val flip : ( 'a -> 'b -> 'c ) -> 'b -> 'a -> 'c
val curry : ( ('a * 'b) -> 'c ) -> 'a -> 'b -> 'c
val uncurry : ( 'a -> 'b -> 'c ) -> ('a * 'b) -> 'c