6 functor Ok(X:S) = X;  functor
9 functor Ok(X:F) = op X;  functor
12 functor Ok(X:S) = op X : S;  functor
15 functor Ok(X:F) = op X : F;  functor
18 functor Ok(X:S) = op X :> S;  functor
21 functor Ok(X:F) = op X :> F;  functor
28 structure Ok = F(S);  structure
29 structure Ok = F(op S);  structure
31 functor Ok = H(F);  functor
32 functor Ok = H(op F);  functor
39 structure Ok = G(S);  structure
40 structure Ok = G(op S);  structure
42 functor Ok = H(F);  functor
43 functor Ok = H(op F);  functor
45 functor Ok(X:S) = let in X end;  functor
48 functor Ok(X:F) = let in op X end;  functor
51 functor Ok(X:S) = let in op X end : S;  functor
54 functor Ok(X:F) = let in op X end : F;  functor