File ‹Example.sig›
signature
Example
=
sig
type
t
val
a
:
t
val
b
:
t
->
t
end