Module Constraint.Add_kind

Parameters

module C : S

Signature

type basic +=
| T of ( 'v, 'f ) C.t