base

Full standard library replacement for OCaml
IN THIS PACKAGE
type ('a1, 'a2) t
val strip : ( ( 'a1, 'a2 ) t, ( 'b1, 'b2 ) t ) equal -> ( 'a1, 'b1 ) equal * ( 'a2, 'b2 ) equal