Up

module Coerce

: sig
#
exception Uncoercible
#
val coerce : 'a Static.typ -> 'b Static.typ -> 'a -> 'b
#
val coerce_fn : 'a Static.fn -> 'b Static.fn -> 'a -> 'b
end