package daypack-lib

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Task.CheckSource

Sourceval user_id_is_valid : user_id -> bool
Sourceval task_id_is_valid : task_id -> bool
Sourceval task_inst_id_is_valid : task_inst_id -> bool
Sourceval task_seg_id_is_valid : task_seg_id -> bool
Sourceval task_seg_size_is_valid : task_seg_size -> bool
Sourceval task_seg_alloc_req_is_valid : task_seg_alloc_req -> bool
Sourceval task_seg_is_valid : task_seg -> bool
OCaml

Innovation. Community. Security.