Module V1.YALO_FILE

val name : YALO_TYPES.file -> string