Module Type.Builtins

val bool : def
val all : def list