Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Add Lifted functions to Op_lwt
Code
Review changes
Check out branch
Download
Patches
Plain diff
taiseiKMC
requested to merge
hsaito@fs-vc-lift-op
into
jun@fs-vc-simple
Jul 06, 2022
Overview
0
Commits
3
Changes
3
Expand
Fs.Make(sth).Op_lwt に Fs.Make(sth).Op の関数を lift して追加
Lwt, Result, Result_Lwt から Op_lwt へ lift する関数を追加
Merge request reports