package daypack-lib

  1. Overview
  2. Docs
package daypack-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type
val user_id_is_valid : user_id -> bool
val task_id_is_valid : task_id -> bool
val task_inst_id_is_valid : task_inst_id -> bool
val task_seg_id_is_valid : task_seg_id -> bool
val task_seg_size_is_valid : task_seg_size -> bool
val task_seg_alloc_req_is_valid : task_seg_alloc_req -> bool
val task_seg_is_valid : task_seg -> bool