Skip to content

Instantly share code, notes, and snippets.

@Octachron
Created August 1, 2023 12:05
Show Gist options
  • Save Octachron/2a6fd1343d26d470562dda10af84d824 to your computer and use it in GitHub Desktop.
Save Octachron/2a6fd1343d26d470562dda10af84d824 to your computer and use it in GitHub Desktop.
module Unit: sig
type 'a t
val magic: 'a t -> 'b t
type m type s
val m: m t
val s: s t
val (+): 'a t -> 'a t -> 'a t
val ( * ): 'a t -> 'b t -> ('a * 'b) t
end = struct
type 'a t =float
type m type s
let magic x = x
let s = 1.
let m = 1.
let ( + ) = ( +. )
let ( * ) = ( *. )
end
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment