Up – Index » docs » findlib-1 » base » Base » Type_equal » Id » S3

Module type `Id.S3`

type ('a, 'b, 'c) t

val type_equal_id : 'a t -> 'b t -> 'c t -> ('a, 'b, 'c) t t