OC-L-10-Module-Types

CBS-beta / Languages-beta

OC-L-10-Module-Types

Rule

/**/

#...

OC-L-Start OC-L-Funcons-Index Funcons-beta Languages-beta CBS-beta

Language "OCaml Light"

#10 Module types

From the PLanCompS Project, 2018 CBS-beta issues... Suggest an improvement...